diff options
Diffstat (limited to 'toplevel/classes.mli')
| -rw-r--r-- | toplevel/classes.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/classes.mli b/toplevel/classes.mli index 973845d9c..da00044d9 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -35,7 +35,7 @@ val infer_super_instances : env -> constr list -> *) val new_class : identifier located -> local_binder list -> - Vernacexpr.sort_expr located -> + Vernacexpr.sort_expr located option -> local_binder list -> binder_list -> unit |