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

diff --git a/src/split-file.c b/src/split-file.c
index bffcd5b180..6eba150b99 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