From dee2a3d461eddffa1e858bb4a0af92dfa7575d81 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 8 Sep 2004 13:47:26 +0000
Subject: Meilleur anglais (cf #841)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6076 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_natsyntax.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/parsing/g_natsyntax.ml b/parsing/g_natsyntax.ml
index 23eb6bd488..3daf432022 100644
--- a/parsing/g_natsyntax.ml
+++ b/parsing/g_natsyntax.ml
@@ -125,7 +125,7 @@ let nat_of_int dloc n =
   match n with
   | POS n ->
       if less_than (of_string "5000") n & Options.is_verbose () then begin
-	warning ("You may experiment stack overflow and segmentation fault\
+	warning ("You may experience stack overflow and segmentation fault\
                   \nwhile parsing numbers in nat greater than 5000");
 	flush_all ()
       end;
-- 
cgit v1.2.3