diff options
Diffstat (limited to 'pretyping/unification.mli')
| -rw-r--r-- | pretyping/unification.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/unification.mli b/pretyping/unification.mli index 43c9dd2e9..2df1c648a 100644 --- a/pretyping/unification.mli +++ b/pretyping/unification.mli @@ -14,8 +14,8 @@ open Environ open Evd (*i*) -type unify_flags = { - modulo_conv_on_closed_terms : Names.transparent_state option; +type unify_flags = { + modulo_conv_on_closed_terms : Names.transparent_state option; use_metas_eagerly : bool; modulo_delta : Names.transparent_state; resolve_evars : bool; |