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=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=7f4841d2930ff08c2a1d9629ecda18f088f54b60;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;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);