X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=a709d99351ca1b22486e77550cd51c2ce0dcb40f;hb=2be9bee9da6a2ce27715e58128569594319abfa2;hp=a9db6febe4a9db25e72244b206e51bf88e3db724;hpb=ac6bc481cef04a4f69a55075d09927c8617be14b;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index a9db6feb..a709d993 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -30,10 +30,10 @@
 #endif
 #include <unistd.h>
 
+#include "data/dataset.h"
 #include "data/dictionary.h"
 #include "data/file-handle-def.h"
 #include "data/file-name.h"
-#include "data/procedure.h"
 #include "data/settings.h"
 #include "data/variable.h"
 #include "gsl/gsl_errno.h"