From 1e4b6639f75e003c68b885cfb446b125efdcd48b Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 4 Nov 2003 14:03:33 +0000
Subject: Explicitation message d'erreur nombres negatifs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4792 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_natsyntax.ml | 4 ++--
 1 file 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 *)
-- 
cgit v1.2.3