diff options
Diffstat (limited to 'toplevel/class.ml')
| -rw-r--r-- | toplevel/class.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 01205e597..6f0ac1793 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -164,8 +164,8 @@ let get_strength stre ref cls clt = let ident_key_of_class = function | CL_FUN -> "Funclass" | CL_SORT -> "Sortclass" - | CL_CONST sp -> string_of_label (con_label sp) - | CL_IND (sp,_) -> string_of_label (mind_label sp) + | CL_CONST sp -> Label.to_string (con_label sp) + | CL_IND (sp,_) -> Label.to_string (mind_label sp) | CL_SECVAR id -> Id.to_string id (* coercion identité *) |