diff options
Diffstat (limited to 'toplevel/command.mli')
| -rw-r--r-- | toplevel/command.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/command.mli b/toplevel/command.mli index b2ba23ef2..d2e601edd 100644 --- a/toplevel/command.mli +++ b/toplevel/command.mli @@ -52,7 +52,7 @@ val declare_assumption : coercion_flag -> assumption_kind -> types Univ.in_universe_context_set -> Impargs.manual_implicits -> bool (** implicit *) -> Vernacexpr.inline -> variable Loc.located -> - global_reference * bool + global_reference * Univ.Instance.t * bool val do_assumptions : locality * polymorphic * assumption_object_kind -> Vernacexpr.inline -> simple_binder with_coercion list -> bool |