X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fglob.h;h=91b702779126fea09788a21f5096e637fffc002c;hb=f1696fab032a5ae5c44e3a3dedba343fce9ffd5c;hp=254b3cdd7708b14c7ca5db5e2e6883dc91c8d406;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp

diff --git a/src/glob.h b/src/glob.h
index 254b3cdd77..91b7027791 100644
--- a/src/glob.h
+++ b/src/glob.h
@@ -21,5 +21,6 @@
 #define INCLUDED_GLOB_H 1
 
 void init_glob (int argc UNUSED, char **argv);
+void done_glob (void);
 
 #endif /* glob.h */