From 6473b8d6df7a9b95410a6c4a5d85012d8e33ba82 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 19 Sep 2014 19:14:04 +0200
Subject: Fixing bug #3646.

---
 toplevel/himsg.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml
index 10b1f48c3a..7962e52bad 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -703,7 +703,7 @@ let pr_constraints printenv env sigma evars cstrs =
       let evs =
         prlist_with_sep (fun () -> fnl ())
         (fun (ev, evi) -> pr_existential_key sigma ev ++
-            str " : " ++ pr_lconstr evi.evar_concl) l
+            str " : " ++ pr_lconstr_env env sigma evi.evar_concl) l
       in
       pe ++ evs ++ fnl() ++ h 0 (pr_evar_constraints cstrs)
     else
-- 
cgit v1.2.3