src/Tools/Code/code_thingol.ML
changeset 37431 e9004a3e0d94
parent 37384 5aba26803073
child 37437 4202e11ae7dc
     1.1 --- a/src/Tools/Code/code_thingol.ML	Mon Jun 14 16:00:46 2010 +0200
     1.2 +++ b/src/Tools/Code/code_thingol.ML	Mon Jun 14 16:00:47 2010 +0200
     1.3 @@ -278,7 +278,7 @@
     1.4  
     1.5  fun namify_class thy = namify thy Long_Name.base_name thyname_of_class;
     1.6  fun namify_classrel thy = namify thy (fn (sub_class, super_class) => 
     1.7 -    Long_Name.base_name sub_class ^ "_" ^ Long_Name.base_name super_class)
     1.8 +    Long_Name.base_name super_class ^ "_" ^ Long_Name.base_name sub_class)
     1.9    (fn thy => thyname_of_class thy o fst);
    1.10    (*order fits nicely with composed projections*)
    1.11  fun namify_tyco thy "fun" = "Pure.fun"