diff options
Diffstat (limited to 'vernac/vernacstate.mli')
| -rw-r--r-- | vernac/vernacstate.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/vernacstate.mli b/vernac/vernacstate.mli index 15b8aaefb6..b78b252579 100644 --- a/vernac/vernacstate.mli +++ b/vernac/vernacstate.mli @@ -51,7 +51,7 @@ module Proof_global : sig val return_proof : ?allow_partial:bool -> unit -> Proof_global.closed_proof_output - type closed_proof = Proof_global.proof_object * Lemmas.proof_terminator * Lemmas.declaration_hook option + type closed_proof = Proof_global.proof_object * Lemmas.proof_info val close_future_proof : opaque:Proof_global.opacity_flag -> |