X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fflip.c;h=1349ef1a014597ba8b6f992657ddc029d6823799;hb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;hp=7e424ba2e0f0705f170c54433c41e14494fdfa42;hpb=14e7292894533c5491a774a2d749386362660812;p=pspp

diff --git a/src/flip.c b/src/flip.c
index 7e424ba2e0..1349ef1a01 100644
--- a/src/flip.c
+++ b/src/flip.c
@@ -18,7 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
-#include <assert.h>
+#include "error.h"
 #include <ctype.h>
 #include <errno.h>
 #include <float.h>
@@ -87,7 +87,6 @@ cmd_flip (void)
   flip->new_names_tail = NULL;
   flip->file = NULL;
 
-  lex_match_id ("FLIP");
   lex_match ('/');
   if (lex_match_id ("VARIABLES"))
     {
@@ -359,7 +358,7 @@ flip_file (struct flip_pgm *flip)
 
   /* Allocate memory for many cases. */
   case_bytes = flip->var_cnt * sizeof *input_buf;
-  case_capacity = set_max_workspace / case_bytes;
+  case_capacity = get_max_workspace() / case_bytes;
   if (case_capacity > flip->case_cnt * 2)
     case_capacity = flip->case_cnt * 2;
   if (case_capacity < 2)