diff options
Diffstat (limited to 'tactics/elimschemes.mli')
-rw-r--r-- | tactics/elimschemes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/elimschemes.mli b/tactics/elimschemes.mli index e3fe7ddae..9c750e7ad 100644 --- a/tactics/elimschemes.mli +++ b/tactics/elimschemes.mli @@ -13,7 +13,7 @@ open Ind_tables val optimize_non_type_induction_scheme : 'a Ind_tables.scheme_kind -> Indrec.dep_flag -> - Term.sorts_family -> + Sorts.family -> 'b -> Names.inductive -> (Constr.constr * Evd.evar_universe_context) * Safe_typing.private_constants |