diff options
Diffstat (limited to 'pretyping/unification.mli')
| -rw-r--r-- | pretyping/unification.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/unification.mli b/pretyping/unification.mli index ae276b2a82..d05b8cb5a8 100644 --- a/pretyping/unification.mli +++ b/pretyping/unification.mli @@ -19,7 +19,7 @@ open Evd type maps = evar_map * meta_map -val w_Define : Evarutil.evar_defs -> evar -> constr -> unit +val w_Define : evar -> constr -> Evarutil.evar_defs -> unit (* The "unique" unification fonction *) val w_unify : |