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

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index a9db6feb..805681d9 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"
@@ -96,7 +96,7 @@ main (int argc, char **argv)
   random_init ();
 
   lexer = lex_create ();
-  the_dataset = create_dataset ();
+  the_dataset = dataset_create ();
 
   parser = argv_parser_create ();
   terminal_opts = terminal_opts_init (parser, &syntax_mode, &process_statrc,
@@ -159,7 +159,7 @@ main (int argc, char **argv)
     }
 
 
-  destroy_dataset (the_dataset);
+  dataset_destroy (the_dataset);
 
   random_done ();
   settings_done ();