diff options
Diffstat (limited to 'toplevel/himsg.ml')
| -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 c769e89304..852e7588af 100644 --- a/toplevel/himsg.ml +++ b/toplevel/himsg.ml @@ -522,7 +522,7 @@ let pr_constraints printenv env evm = prlist_with_sep (fun () -> fnl ()) (fun (ev, evi) -> str(string_of_existential ev)++ str " == " ++ pr_constr evi.evar_concl) l else - pr_evar_defs evm + pr_evar_map evm let explain_unsatisfiable_constraints env evd constr = let evm = Evarutil.nf_evars evd in |