diff options
Diffstat (limited to 'vernac/declare.mli')
| -rw-r--r-- | vernac/declare.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/declare.mli b/vernac/declare.mli index 9d9516d963..d302f68153 100644 --- a/vernac/declare.mli +++ b/vernac/declare.mli @@ -182,7 +182,7 @@ module Proof : sig val start_equations : name:Id.t -> info:Info.t - -> hook:(Constant.t list -> Evd.evar_map -> unit) + -> hook:(pm:OblState.t -> Constant.t list -> Evd.evar_map -> OblState.t) -> types:(Environ.env * Evar.t * Evd.evar_info * EConstr.named_context * Evd.econstr) list -> Evd.evar_map -> Proofview.telescope |