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 102f1b8b0..ec494622c 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -28,7 +28,7 @@ type binder_def_list = (identifier located * identifier located list * constr_ex val binders_of_lidents : identifier located list -> local_binder list -val declare_implicit_proj : typeclass -> constant -> unit +val declare_implicit_proj : typeclass -> constant -> Impargs.manual_explicitation list -> unit val infer_super_instances : env -> constr list -> named_context -> named_context -> types list * identifier list * named_context |