# HG changeset patch
# User haftmann
# Date 1168953026 -3600
# Node ID d52dab7707675fdd05b2780280beabbdfe7fa56b
# Parent  de3586cb0ebdd53b6836bf3e35f1ec79ee14af0b
reverted order of classrels

diff -r de3586cb0ebd -r d52dab770767 src/Pure/Tools/codegen_names.ML
--- a/src/Pure/Tools/codegen_names.ML	Tue Jan 16 14:10:24 2007 +0100
+++ b/src/Pure/Tools/codegen_names.ML	Tue Jan 16 14:10:26 2007 +0100
@@ -248,7 +248,7 @@
 
 fun class_policy thy = policy thy NameSpace.base thyname_of_class;
 fun classrel_policy thy = policy thy (fn (class1, class2) => 
-  NameSpace.base class2 ^ "_" ^ NameSpace.base class1) thyname_of_classrel;
+  NameSpace.base class1 ^ "_" ^ NameSpace.base class2) thyname_of_classrel;
 fun tyco_policy thy = policy thy NameSpace.base thyname_of_tyco;
 fun instance_policy thy = policy thy (fn (class, tyco) => 
   NameSpace.base class ^ "_" ^ NameSpace.base tyco) thyname_of_instance;