diff options
Diffstat (limited to 'pretyping')
| -rwxr-xr-x | pretyping/classops.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/classops.ml b/pretyping/classops.ml index c7df3229da..aa5057db8d 100755 --- a/pretyping/classops.ml +++ b/pretyping/classops.ml @@ -246,8 +246,8 @@ let strength_of_cl = function | _ -> Global let string_of_class = function - | CL_FUN -> "FUNCLASS" - | CL_SORT -> "SORTCLASS" + | CL_FUN -> if !Options.v7 then "FUNCLASS" else "Funclass" + | CL_SORT -> if !Options.v7 then "SORTCLASS" else "Sortclass" | CL_CONST sp -> string_of_qualid (shortest_qualid_of_global Idset.empty (ConstRef sp)) | CL_IND sp -> |