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 d7ddbcb721..e66234b4ae 100644 --- a/pretyping/unification.mli +++ b/pretyping/unification.mli @@ -121,7 +121,7 @@ val unify_0 : Environ.env -> types -> subst0 -val unify_0_with_initial_metas : +val unify_0_with_initial_metas : subst0 -> bool -> Environ.env -> |