diff options
Diffstat (limited to 'toplevel/classes.mli')
| -rw-r--r-- | toplevel/classes.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/classes.mli b/toplevel/classes.mli index b57f1bea0..0f842ffe5 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -73,3 +73,4 @@ val context : local_binder list -> unit val refine_ref : (open_constr -> Proof_type.tactic) ref +val build_subclasses : env -> evar_map -> constr -> constr list |