X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fdata-reader.c;h=ab3e0657893693f7bb0b549e22c2e9dff8babe25;hb=0fc606c52d7cec253af9b7463b15baabfbc9a33a;hp=1e06d287735db834a3527893bbba298fea2de282;hpb=1b5c2d8fe129a5f8db76c42250a9c199deccb773;p=pspp

diff --git a/src/language/data-io/data-reader.c b/src/language/data-io/data-reader.c
index 1e06d28773..ab3e065789 100644
--- a/src/language/data-io/data-reader.c
+++ b/src/language/data-io/data-reader.c
@@ -554,7 +554,7 @@ dfm_eof (struct dfm_reader *r)
     {
       r->flags &= ~DFM_ADVANCE;
 
-      if (r->eof_cnt == 0 && read_record (r) )
+      if (r->eof_cnt == 0 && read_record (r))
         {
           r->pos = 0;
           return 0;