diff options
Diffstat (limited to 'typing/typeclass.ml')
| -rw-r--r-- | typing/typeclass.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typeclass.ml b/typing/typeclass.ml index 8f261df85a..f2aec7449e 100644 --- a/typing/typeclass.ml +++ b/typing/typeclass.ml @@ -977,7 +977,7 @@ let report_error = function | Virtual_class (cl, met) -> print_string "The class"; print_space (); print_string cl; print_space (); - print_string "should be virtual: its methods"; print_space (); + print_string "should be virtual: its method"; print_space (); print_string met; print_space (); print_string "is undefined" | Closed_class cl -> |