From c822d26db8d3fc5ad1b951ca2b7fe6131f5fe721 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 31 Jan 2006 10:45:10 +0000
Subject: Adaptation message d'erreur au cas des string

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

(limited to 'interp/notation.ml')

diff --git a/interp/notation.ml b/interp/notation.ml
index ba997126e9..4b85faf8d3 100644
--- a/interp/notation.ml
+++ b/interp/notation.ml
@@ -245,7 +245,7 @@ let check_required_module loc sc (ref,d) =
   try let _ = sp_of_global ref in ()
   with Not_found ->
     user_err_loc (loc,"prim_token_interpreter",
-    str ("Cannot interpret numbers in "^sc^" without requiring first module "
+    str ("Cannot interpret in "^sc^" without requiring first module "
     ^(list_last d)))
 
 (* Look if some notation or numeral printer in [scope] can be used in
-- 
cgit v1.2.3