X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Frepeat.c;h=c3236744a298b6dfd402207dfac404aaa7e28fff;hb=6d34b6cd00bb26603f8acedd3f0ed69a4484e484;hp=9141684c82de5262ce306f34c2a25eeeb0c9008c;hpb=def7e6026513a3ee7c2b38416b30a2e890e34311;p=pspp

diff --git a/src/repeat.c b/src/repeat.c
index 9141684c82..c3236744a2 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