X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=5fa1604143fe7a7ba136988d85401cafaf0d2b26;hb=cef9c4febe441542613998a1510ef09490730399;hp=64a7d2ec013e97a732b782570c25869b85fa669b;hpb=41297e85eedafff3c28eb058a65089b16818bac1;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 64a7d2ec..5fa16041 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -39,7 +39,6 @@
 #include "gsl/gsl_errno.h"
 #include "language/command.h"
 #include "language/lexer/lexer.h"
-#include "language/prompt.h"
 #include "language/syntax-file.h"
 #include "libpspp/argv-parser.h"
 #include "libpspp/compiler.h"
@@ -94,7 +93,6 @@ main (int argc, char **argv)
 
   fh_init ();
   the_source_stream = create_source_stream ();
-  prompt_init ();
   readln_initialize ();
   settings_init ();
   terminal_check_size ();
@@ -159,7 +157,6 @@ main (int argc, char **argv)
   fh_done ();
   lex_destroy (the_lexer);
   destroy_source_stream (the_source_stream);
-  prompt_done ();
   readln_uninitialize ();
   output_close ();
   msg_ui_done ();