X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fflip.c;h=ccb84dd8a4f37abecb352a2bf04dc92f95b71602;hb=1a35c8af6643fc1c7fa6e4b775282ff1bef8ed98;hp=6c49bd3798e5376555dd785ca85bab6ef61c7469;hpb=a9acce47d67e0ab35ce1690e4f1b1ac0121c2d78;p=pspp

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index 6c49bd3798..ccb84dd8a4 100644
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -362,7 +362,7 @@ flip_file (struct flip_pgm *flip)
 
   /* Allocate memory for many cases. */
   case_bytes = flip->var_cnt * sizeof *input_buf;
-  case_capacity = get_workspace () / case_bytes;
+  case_capacity = settings_get_workspace () / case_bytes;
   if (case_capacity > flip->case_cnt * 2)
     case_capacity = flip->case_cnt * 2;
   if (case_capacity < 2)