diff options
| -rw-r--r-- | toplevel/himsg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |