X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fsplit-file.c;h=6eba150b9928032db393430dbcd0c9083a4e0fda;hb=3e66793381d0eaee26bd980c9a5479129fa44386;hp=bffcd5b18007d1c135b76e0e77467794fa233560;hpb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;p=pspp-builds.git

diff --git a/src/split-file.c b/src/split-file.c
index bffcd5b1..6eba150b 100644
--- a/src/split-file.c
+++ b/src/split-file.c
@@ -29,9 +29,6 @@
 int
 cmd_split_file (void)
 {
-  lex_match_id ("SPLIT");
-  lex_match_id ("FILE");
-
   if (lex_match_id ("OFF"))
     dict_set_split_vars (default_dict, NULL, 0);
   else