X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Futilities%2Fset.q;h=ce358ae8a4a7e1a21ee4f1246addd1012dbeb7c8;hb=ac5fc2c85d86f1a14cdea0a215666ab39b44a1dc;hp=3da12a6153bcbcc12f3ccf201324972268a5ef78;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/language/utilities/set.q b/src/language/utilities/set.q
index 3da12a6153..ce358ae8a4 100644
--- a/src/language/utilities/set.q
+++ b/src/language/utilities/set.q
@@ -23,9 +23,9 @@
 
 #include "data/data-in.h"
 #include "data/data-out.h"
+#include "data/dataset.h"
 #include "data/dictionary.h"
 #include "data/format.h"
-#include "data/procedure.h"
 #include "data/settings.h"
 #include "data/value.h"
 #include "data/variable.h"