X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fsave.c;h=a5848e59f5ce12f08b5de428df5fb7154cc9ed09;hb=cd221d80fafb54e550398c6de105d4c1b7f02ba0;hp=f43aba7a46abc986d6f335a053d9b811e37ef7de;hpb=b56f017491ffecdbe19e39aca242ffb13ad17016;p=pspp

diff --git a/src/language/data-io/save.c b/src/language/data-io/save.c
index f43aba7a46..a5848e59f5 100644
--- a/src/language/data-io/save.c
+++ b/src/language/data-io/save.c
@@ -269,7 +269,7 @@ parse_write_command (struct lexer *lexer, struct dataset *ds,
                && lex_match_id (lexer, "VERSION"))
 	{
 	  lex_match (lexer, T_EQUALS);
-	  if (!lex_force_int (lexer))
+	  if (!lex_force_int_range (lexer, "VERSION", 2, 3))
             goto error;
           sysfile_opts.version = lex_integer (lexer);
           lex_get (lexer);
@@ -290,7 +290,7 @@ parse_write_command (struct lexer *lexer, struct dataset *ds,
       else if (writer_type == PORFILE_WRITER && lex_match_id (lexer, "DIGITS"))
         {
           lex_match (lexer, T_EQUALS);
-          if (!lex_force_int (lexer))
+          if (!lex_force_int_range (lexer, "DIGITS", 1, INT_MAX))
             goto error;
           porfile_opts.digits = lex_integer (lexer);
           lex_get (lexer);