X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Frepeat.c;h=c3236744a298b6dfd402207dfac404aaa7e28fff;hb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;hp=9141684c82de5262ce306f34c2a25eeeb0c9008c;hpb=2c9e93d6e9fbdf4eccb2d43050884f2f707ad126;p=pspp-builds.git

diff --git a/src/repeat.c b/src/repeat.c
index 9141684c..c3236744 100644
--- a/src/repeat.c
+++ b/src/repeat.c
@@ -138,9 +138,6 @@ internal_cmd_do_repeat (void)
   int print;
 
   /* The first step is parsing the DO REPEAT command itself. */
-  lex_match_id ("DO");
-  lex_match_id ("REPEAT");
-
   count = 0;
   line_buf_head = NULL;
   do