X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fdata-reader.c;h=0f96e589cc3bd7b1547110088efee015dce3d2de;hb=a8b84a10b8749b3e2ecbfa0b73deb97e1b682d4e;hp=e701a936d241f5ad749c40322fa57f5164ba16b5;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/language/data-io/data-reader.c b/src/language/data-io/data-reader.c
index e701a936d2..0f96e589cc 100644
--- a/src/language/data-io/data-reader.c
+++ b/src/language/data-io/data-reader.c
@@ -26,9 +26,9 @@
 #include <sys/stat.h>
 
 #include "data/casereader.h"
+#include "data/dataset.h"
 #include "data/file-handle-def.h"
 #include "data/file-name.h"
-#include "data/procedure.h"
 #include "language/command.h"
 #include "language/data-io/file-handle.h"
 #include "language/lexer/lexer.h"