diff options
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index 20d2d32503..32ef69f13b 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -75,6 +75,7 @@ type error = Ident.t * Types.class_declaration * (type_expr * type_expr) list | Final_self_clash of (type_expr * type_expr) list | Mutability_mismatch of string * mutable_flag + | MethodDoesNotOverride of string exception Error of Location.t * error |