# HG changeset patch
# User haftmann
# Date 1276524047 -7200
# Node ID e9004a3e0d940cdd27146926df12d75d2f686f3c
# Parent  a77740fc3957f9b40d9d9e2e4d2f1fb1ad284123
teaked naming of superclass projections

diff -r a77740fc3957 -r e9004a3e0d94 src/Tools/Code/code_thingol.ML
--- a/src/Tools/Code/code_thingol.ML	Mon Jun 14 16:00:46 2010 +0200
+++ b/src/Tools/Code/code_thingol.ML	Mon Jun 14 16:00:47 2010 +0200
@@ -278,7 +278,7 @@
 
 fun namify_class thy = namify thy Long_Name.base_name thyname_of_class;
 fun namify_classrel thy = namify thy (fn (sub_class, super_class) => 
-    Long_Name.base_name sub_class ^ "_" ^ Long_Name.base_name super_class)
+    Long_Name.base_name super_class ^ "_" ^ Long_Name.base_name sub_class)
   (fn thy => thyname_of_class thy o fst);
   (*order fits nicely with composed projections*)
 fun namify_tyco thy "fun" = "Pure.fun"