Meilleur anglais (cf #841)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6076 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

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;