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=2be9bee9da6a2ce27715e58128569594319abfa2;hp=e701a936d241f5ad749c40322fa57f5164ba16b5;hpb=ac6bc481cef04a4f69a55075d09927c8617be14b;p=pspp-builds.git

diff --git a/src/language/data-io/data-reader.c b/src/language/data-io/data-reader.c
index e701a936..0f96e589 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"