diff options
Diffstat (limited to 'toplevel/classes.ml')
| -rw-r--r-- | toplevel/classes.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toplevel/classes.ml b/toplevel/classes.ml index 4d8a6d5d7..6c447e886 100644 --- a/toplevel/classes.ml +++ b/toplevel/classes.ml @@ -62,8 +62,6 @@ let existing_instance glob g pri = let mismatched_params env n m = mismatched_ctx_inst env Parameters n m let mismatched_props env n m = mismatched_ctx_inst env Properties n m -type binder_list = (Id.t Loc.located * bool * constr_expr) list - (* Declare everything in the parameters as implicit, and the class instance as well *) let type_ctx_instance evars env ctx inst subst = |