diff options
| author | Pierre-Marie Pédrot | 2018-10-31 11:56:33 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-31 11:56:33 +0100 |
| commit | e29dc5ab5e85eb5f740de83f9f0b97b233651a3e (patch) | |
| tree | f3ec09aac5f5d26d88a1ae1cc7f3dff8bed2b861 /vernac | |
| parent | 47306462b9ddba0bfe43a2777e45549e0f7e3923 (diff) | |
| parent | 3f740f401652423b0182b9177c450a63337c7631 (diff) | |
Merge PR #8688: Generalizing the various evar_map printers in Termops over an environment
Diffstat (limited to 'vernac')
| -rw-r--r-- | vernac/himsg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/himsg.ml b/vernac/himsg.ml index ca77e03707..844caf5a3e 100644 --- a/vernac/himsg.ml +++ b/vernac/himsg.ml @@ -769,7 +769,7 @@ let pr_constraints printenv env sigma evars cstrs = h 0 (pe ++ evs ++ pr_evar_constraints sigma cstrs) else let filter evk _ = Evar.Map.mem evk evars in - pr_evar_map_filter ~with_univs:false filter sigma + pr_evar_map_filter ~with_univs:false filter env sigma let explain_unsatisfiable_constraints env sigma constr comp = let (_, constraints) = Evd.extract_all_conv_pbs sigma in |