diff options
Diffstat (limited to 'vernac')
| -rw-r--r-- | vernac/dune | 1 | ||||
| -rw-r--r-- | vernac/himsg.ml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/vernac/dune b/vernac/dune index 45b567d631..4673251002 100644 --- a/vernac/dune +++ b/vernac/dune @@ -3,6 +3,7 @@ (synopsis "Coq's Vernacular Language") (public_name coq.vernac) (wrapped false) + (flags :standard -open Gramlib) (libraries tactics parsing)) (rule 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 |