diff options
Diffstat (limited to 'vernac/classes.mli')
| -rw-r--r-- | vernac/classes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/classes.mli b/vernac/classes.mli index d441fd342c..daba78217b 100644 --- a/vernac/classes.mli +++ b/vernac/classes.mli @@ -43,7 +43,7 @@ val new_instance : -> ?tac:unit Proofview.tactic -> ?hook:(GlobRef.t -> unit) -> Hints.hint_info_expr - -> Id.t * Proof_global.pstate option (* May open a proof *) + -> Id.t * Proof_global.t option (* May open a proof *) val declare_new_instance : ?global:bool (** Not global by default. *) |