diff options
Diffstat (limited to 'toplevel/class.ml')
| -rw-r--r-- | toplevel/class.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 1a252dc13..e1ba8e736 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -335,7 +335,7 @@ let try_add_new_coercion_with_source ref stre ~source = let add_coercion_hook stre ref = try_add_new_coercion ref stre; Options.if_verbose message - (string_of_qualid (shortest_qualid_of_global None ref) + (string_of_qualid (shortest_qualid_of_global Idset.empty ref) ^ " is now a coercion") let add_subclass_hook stre ref = |