diff options
| -rw-r--r-- | parsing/g_natsyntax.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/g_natsyntax.ml b/parsing/g_natsyntax.ml index 502123833e..dd1edf5adf 100644 --- a/parsing/g_natsyntax.ml +++ b/parsing/g_natsyntax.ml @@ -140,7 +140,7 @@ let nat_of_int dloc n = mk_nat ref_O n | NEG n -> user_err_loc (dloc, "nat_of_int", - str "Cannot interpret a negative number as a natural number") + str "Cannot interpret a negative number as a number of type nat") let pat_nat_of_int dloc n name = match n with @@ -154,7 +154,7 @@ let pat_nat_of_int dloc n name = mk_nat n name | NEG n -> user_err_loc (dloc, "pat_nat_of_int", - str "Cannot interpret a negative number as a natural number") + str "Unable to interpret a negative number in type nat") (***********************************************************************) (* Printing via scopes *) |