X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcmdline.c;h=9f1bc9796c639cc80fb97b067648770e9dbe47c8;hb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;hp=a1a5281c3fb89819f363a99e0273c9a0202232b1;hpb=b9dcb1c23a48b9db5444b9f10aac0748b83898ad;p=pspp-builds.git

diff --git a/src/cmdline.c b/src/cmdline.c
index a1a5281c..9f1bc979 100644
--- a/src/cmdline.c
+++ b/src/cmdline.c
@@ -18,6 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
+#include "cmdline.h"
 #include <assert.h>
 #include <ctype.h>
 #include <stdio.h>