X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flanguage%2Fstats%2Fflip.c;h=e39e85fd5fe490aa5da7f9797c58d1c67552c93e;hb=6b6718a372daeaa66d69e126f9ee4a9bf46bf059;hp=7f4841d2930ff08c2a1d9629ecda18f088f54b60;hpb=7a09f7e0127967c4f04a51f1b9cf91040c515c34;p=pspp

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index 7f4841d293..e39e85fd5f 100644
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -349,7 +349,7 @@ flip_file (struct flip_pgm *flip)
       return false;
     }
 
-  for (case_idx = 0; case_idx < flip->n_cases; )
+  for (case_idx = 0; case_idx < flip->n_cases;)
     {
       unsigned long read_cases = MIN (flip->n_cases - case_idx,
                                       case_capacity);