X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fprint.c;h=169b6a5d7e5f935a2a91c3340e0fc40f56b02b5b;hb=fe8b4cd515f1a3e91240901a4f6546c655df348f;hp=c52a59cf521fb1cdacef984392bf8be90f2e11a3;hpb=81579d9e9f994fb2908f50af41c3eb033d216e58;p=pspp

diff --git a/src/language/data-io/print.c b/src/language/data-io/print.c
index c52a59cf52..169b6a5d7e 100644
--- a/src/language/data-io/print.c
+++ b/src/language/data-io/print.c
@@ -19,9 +19,9 @@
 #include <stdlib.h>
 
 #include "data/case.h"
+#include "data/dataset.h"
 #include "data/data-out.h"
 #include "data/format.h"
-#include "data/procedure.h"
 #include "data/transformations.h"
 #include "data/variable.h"
 #include "language/command.h"