changeset 24840 | 01b14b37eca3 |
parent 24811 | 3bf788a0c49a |
child 24916 | dc56dd1b3cda |
--- 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";