clarified name suffix

--- a/src/Tools/code/code_name.ML	Thu Oct 04 19:41:53 2007 +0200
+++ b/src/Tools/code/code_name.ML	Thu Oct 04 19:41:54 2007 +0200
@@ -100,7 +100,7 @@
 (* identifier categories *)
 
 val suffix_class = "class";
-val suffix_classrel = "clsrel"
+val suffix_classrel = "classrel"
 val suffix_tyco = "tyco";
 val suffix_instance = "inst";
 val suffix_const = "const";