diff options
Diffstat (limited to 'plugins/subtac/subtac_classes.mli')
| -rw-r--r-- | plugins/subtac/subtac_classes.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/plugins/subtac/subtac_classes.mli b/plugins/subtac/subtac_classes.mli index 4b575da90..ee78ff68a 100644 --- a/plugins/subtac/subtac_classes.mli +++ b/plugins/subtac/subtac_classes.mli @@ -25,12 +25,11 @@ open Classes (*i*) val type_ctx_instance : Evd.evar_map ref -> - Environ.env -> + Environ.env -> ('a * Term.constr option * Term.constr) list -> Topconstr.constr_expr list -> Term.constr list -> - Term.constr list * - ('a * Term.constr option * Term.constr) list + Term.constr list val new_instance : ?global:bool -> |