X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Ffile-type.c;h=31df716b9dee3f99d35374bf7aec77fc9a149092;hb=b2859987e3e1c67ffd240945f4590bb23d31bdb8;hp=4633c7c00ba23518b437bbd5ddf233f2d92b5a64;hpb=30728b09540b323fef43b23dd5f1e4d1e8298c92;p=pspp

diff --git a/src/language/data-io/file-type.c b/src/language/data-io/file-type.c
index 4633c7c00b..31df716b9d 100644
--- a/src/language/data-io/file-type.c
+++ b/src/language/data-io/file-type.c
@@ -23,6 +23,7 @@
 
 #include <stdlib.h>
 
+#include <data/case-source.h>
 #include <data/case.h>
 #include <data/data-in.h>
 #include <data/dictionary.h>