X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-reader.c;h=155b91373cef5ac38e632e937505a17848efa90a;hb=96994a54e60e9c95b8bba54c2281acf7059b1203;hp=e0b43b9205c59db8b777baacc7c65b1125f1b616;hpb=369c24f1d085a41ec274ebae5fc198fcee567653;p=pspp

diff --git a/src/data/sys-file-reader.c b/src/data/sys-file-reader.c
index e0b43b9205..155b91373c 100644
--- a/src/data/sys-file-reader.c
+++ b/src/data/sys-file-reader.c
@@ -1035,7 +1035,7 @@ read_header (struct sfm_reader *r, struct any_read_info *info,
 
   if (!read_int (r, &r->case_cnt))
     return false;
-  if ( r->case_cnt > INT_MAX / 2)
+  if (r->case_cnt > INT_MAX / 2)
     r->case_cnt = -1;
 
   /* Identify floating-point format and obtain compression bias. */
@@ -1424,7 +1424,7 @@ parse_variable_records (struct sfm_reader *r, struct dictionary *dict,
   struct sfm_var_record *rec;
   int n_warnings = 0;
 
-  for (rec = var_recs; rec < &var_recs[n_var_recs]; )
+  for (rec = var_recs; rec < &var_recs[n_var_recs];)
     {
       struct variable *var;
       size_t n_values;