X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdictionary%2Fmrsets.c;h=8497a059ca857f11344beaa414f987b1e9d48223;hb=2be9bee9da6a2ce27715e58128569594319abfa2;hp=3af5d033370e9b05703580eecc4a2a64cf20e63e;hpb=ac6bc481cef04a4f69a55075d09927c8617be14b;p=pspp-builds.git

diff --git a/src/language/dictionary/mrsets.c b/src/language/dictionary/mrsets.c
index 3af5d033..8497a059 100644
--- a/src/language/dictionary/mrsets.c
+++ b/src/language/dictionary/mrsets.c
@@ -17,9 +17,9 @@
 #include <config.h>
 
 #include "data/data-out.h"
+#include "data/dataset.h"
 #include "data/dictionary.h"
 #include "data/mrset.h"
-#include "data/procedure.h"
 #include "data/value-labels.h"
 #include "data/variable.h"
 #include "language/command.h"