X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Frepeat.c;h=dad14549864f8035eea2bc4b627c4331defa3cd5;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=401a50ec0b6d8567987401a60adb9754f76ec8d5;hpb=205ac3afa4c2b19c85819d8695abf3975bb11807;p=pspp

diff --git a/src/repeat.c b/src/repeat.c
index 401a50ec0b..dad1454986 100644
--- a/src/repeat.c
+++ b/src/repeat.c
@@ -299,7 +299,7 @@ internal_cmd_do_repeat (void)
      REPEAT line.  We should actually check for the PRINT specifier.
      This can be done easier when we buffer entire commands instead of
      doing it token by token; see TODO. */
-  lex_entire_line ();	
+  lex_discard_line ();	
   
   /* Tie up the loose end of the chain. */
   if (line_buf_head == NULL)