X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdictionary%2Fsplit-file.c;h=28e6860e07b6e9db003975cdb0e929880be651d6;hb=d3c2a76521cd79ae441da0f816a09fa6ce91f839;hp=56e3eeef2182bc24d3efe5ad7f7b0beb3d48f813;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/language/dictionary/split-file.c b/src/language/dictionary/split-file.c
index 56e3eeef21..28e6860e07 100644
--- a/src/language/dictionary/split-file.c
+++ b/src/language/dictionary/split-file.c
@@ -20,9 +20,9 @@
 
 #include "data/case.h"
 #include "data/data-out.h"
+#include "data/dataset.h"
 #include "data/dictionary.h"
 #include "data/format.h"
-#include "data/procedure.h"
 #include "data/value-labels.h"
 #include "data/variable.h"
 #include "language/command.h"