X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fexecutor.c;h=3afa1ecd022359d2b0e72468c962451fe0477fb4;hb=2be9bee9da6a2ce27715e58128569594319abfa2;hp=754d09ae5681b44b357f7882db701fa8eb6d631a;hpb=ac6bc481cef04a4f69a55075d09927c8617be14b;p=pspp-builds.git

diff --git a/src/ui/gui/executor.c b/src/ui/gui/executor.c
index 754d09ae..3afa1ecd 100644
--- a/src/ui/gui/executor.c
+++ b/src/ui/gui/executor.c
@@ -18,8 +18,8 @@
 
 #include "ui/gui/executor.h"
 
+#include "data/dataset.h"
 #include "data/lazy-casereader.h"
-#include "data/procedure.h"
 #include "language/command.h"
 #include "language/lexer/lexer.h"
 #include "libpspp/cast.h"