X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fprint-space.c;h=fd0d4cf780fd5db41b63ba0f893781e4c2d5b732;hb=2be9bee9da6a2ce27715e58128569594319abfa2;hp=b7683670f5076353ac114e994aa3d0c584b54f7c;hpb=ac6bc481cef04a4f69a55075d09927c8617be14b;p=pspp-builds.git

diff --git a/src/language/data-io/print-space.c b/src/language/data-io/print-space.c
index b7683670..fd0d4cf7 100644
--- a/src/language/data-io/print-space.c
+++ b/src/language/data-io/print-space.c
@@ -19,7 +19,7 @@
 #include <limits.h>
 #include <stdlib.h>
 
-#include "data/procedure.h"
+#include "data/dataset.h"
 #include "data/value.h"
 #include "language/command.h"
 #include "language/data-io/data-writer.h"