Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper fold order;
authorwenzelm
Thu, 30 Jun 2011 14:51:32 +0200
changeset 43605 4f119a9ed37c
parent 43604 ff33fea12337
child 43606 e1a09c2a6248
proper fold order;
src/Pure/General/path.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle