X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdata-in.c;h=5d4496cf9085de0d54509f224a89e0b0261935d1;hb=5e8c1fe99924e0ebe0f33441475f8164ee20918e;hp=14a24fffe26d367497e9262fd9daa1a0709a68c0;hpb=142e33869c4c04338e6071e011b3053a28ea9173;p=pspp

diff --git a/src/data/data-in.c b/src/data/data-in.c
index 14a24fffe2..5d4496cf90 100644
--- a/src/data/data-in.c
+++ b/src/data/data-in.c
@@ -281,7 +281,6 @@ parse_number (struct data_in *i)
 
   struct string tmp;
 
-  bool explicit_decimals = false;
   int save_errno;
   char *tail;
 
@@ -334,7 +333,6 @@ parse_number (struct data_in *i)
   /* Decimal point and following digits. */
   if (ss_match_byte (&i->input, style->decimal))
     {
-      explicit_decimals = true;
       ds_put_byte (&tmp, '.');
       while (c_isdigit (ss_first (i->input)))
         ds_put_byte (&tmp, ss_get_byte (&i->input));
@@ -345,7 +343,6 @@ parse_number (struct data_in *i)
       && !ss_is_empty (i->input)
       && strchr ("eEdD-+", ss_first (i->input)))
     {
-      explicit_decimals = true;
       ds_put_byte (&tmp, 'e');
 
       if (strchr ("eEdD", ss_first (i->input)))