src/Pure/System/build.scala
changeset 48350 09bf3b73e446
parent 48349 a78e5d399599
child 48351 a0b95a762abb
--- a/src/Pure/System/build.scala	Thu Jul 19 14:24:40 2012 +0200
+++ b/src/Pure/System/build.scala	Thu Jul 19 15:45:59 2012 +0200
@@ -26,7 +26,7 @@
       object Ordering extends scala.math.Ordering[Key]
       {
         def compare(key1: Key, key2: Key): Int =
-          key2.order compare key1.order match {
+          key1.order compare key2.order match {
             case 0 => key1.name compare key2.name
             case ord => ord
           }