From d57177a5aa5596cace507bd73a39ac3cd0db5b20 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 4 Nov 2003 14:42:05 +0000
Subject: Amelioration message d'erreur

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

diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml
index 3270ef451..e8fd76e43 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -326,7 +326,7 @@ let explain_unsolvable_implicit env = function
   | BinderType (Name id) ->
       str "Cannot infer a type for " ++ Nameops.pr_id id
   | BinderType Anonymous ->
-      str "Cannot infer a type of this anonymous binder"
+      str "Cannot infer a type for this anonymous binder"
   | ImplicitArg (c,n) ->
       str "Cannot infer the " ++ pr_ord n ++
       str " implicit argument of " ++ Nametab.pr_global_env Idset.empty c
-- 
cgit v1.2.3