X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=6a7decd9d95d77192488ba0ba66ea8a2b0266154;hb=c1629e9b28338e59f9e4c027f3792a9419840a2c;hp=6a861b70265c28588245add320a3398cea97d30c;hpb=f89de8c330e8f82f0e7195c4d35588cfcbdd02fc;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 6a861b7026..6a7decd9d9 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -100,7 +100,7 @@ main (int argc, char **argv)
   if (parse_command_line (argc, argv)) 
     {
       outp_read_devices ();
-      lex_init ();
+      lex_init (do_read_line);
 
       for (;;)
         {