From a92a0d051b987ba996905ccd4ce7ee3a5feb41c1 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 1 Jun 2012 20:08:33 +0000
Subject: More cleaning

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

(limited to 'pretyping')

diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml
index 84a1cd550f..bd47badfe3 100644
--- a/pretyping/evarutil.ml
+++ b/pretyping/evarutil.ml
@@ -1679,7 +1679,7 @@ and evar_define conv_algo ?(choose=false) env evd (evk,argsv as ev) rhs =
         let ty = evi.evar_concl in
         Typing.check env evd' body ty
       with e ->
-        pperrnl
+        msg_info
           (str "Ill-typed evar instantiation: " ++ fnl() ++
            pr_evar_map evd' ++ fnl() ++
            str "----> " ++ int ev ++ str " := " ++
-- 
cgit v1.2.3