X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcasefile.c;h=97929c570eaaa81b655cba62f6a2c32dacdfacd7;hb=4848cff524922cc77ed21662406807471e96a68e;hp=fdf033cbae672c7ae29135dd7d2cb62c8f0031a2;hpb=2c4c4a789e9c23478bce195d2ed98bab6064dfc1;p=pspp

diff --git a/src/casefile.c b/src/casefile.c
index fdf033cbae..97929c570e 100644
--- a/src/casefile.c
+++ b/src/casefile.c
@@ -30,6 +30,7 @@
 #include "case.h"
 #include "error.h"
 #include "misc.h"
+#include "mkfile.h"
 #include "settings.h"
 #include "var.h"