X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fglob.h;h=254b3cdd7708b14c7ca5db5e2e6883dc91c8d406;hb=f85548f27a1958bb6c84a6917b874c537f4c0bd6;hp=0b15f34ab796ec4a66c85aa08091319f2c67112d;hpb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;p=pspp

diff --git a/src/glob.h b/src/glob.h
index 0b15f34ab7..254b3cdd77 100644
--- a/src/glob.h
+++ b/src/glob.h
@@ -20,6 +20,6 @@
 #if !INCLUDED_GLOB_H
 #define INCLUDED_GLOB_H 1
 
-void init_glob (int argc unused, char **argv);
+void init_glob (int argc UNUSED, char **argv);
 
 #endif /* glob.h */