From 97744e386938a239eea19c8ae7eddfc7f9cad6ee Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 31 Aug 2003 07:40:44 +0000
Subject: V8: FUNCLASS -> Funclass, SORTCLASS -> Sortclass

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4280 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/classops.ml | 4 ++--
 1 file 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 ->
-- 
cgit v1.2.3