# HG changeset patch
# User wenzelm
# Date 1309438292 -7200
# Node ID 4f119a9ed37c1b847cbac3cd621d47b36670f155
# Parent  ff33fea12337e4470ad6f92ae7108bcd83e4d9b2
proper fold order;

diff -r ff33fea12337 -r 4f119a9ed37c src/Pure/General/path.scala
--- a/src/Pure/General/path.scala	Thu Jun 30 14:03:31 2011 +0200
+++ b/src/Pure/General/path.scala	Thu Jun 30 14:51:32 2011 +0200
@@ -102,7 +102,7 @@
   def is_absolute: Boolean = !elems.isEmpty && elems.last.isInstanceOf[Path.Root]
   def is_basic: Boolean = elems match { case List(Path.Basic(_)) => true case _ => false }
 
-  def +(other: Path): Path = Path((elems :\ other.elems)(Path.apply_elem))
+  def +(other: Path): Path = Path((other.elems :\ elems)(Path.apply_elem))
 
 
   /* implode */