diff options
Diffstat (limited to 'pretyping/unification.mli')
-rw-r--r-- | pretyping/unification.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pretyping/unification.mli b/pretyping/unification.mli index 1b8f9ccd8..0e85f8243 100644 --- a/pretyping/unification.mli +++ b/pretyping/unification.mli @@ -18,6 +18,7 @@ type unify_flags = { modulo_conv_on_closed_terms : Names.transparent_state option; use_metas_eagerly : bool; modulo_delta : Names.transparent_state; + resolve_evars : bool; } val default_unify_flags : unify_flags |