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.
tuned;
authorwenzelm
Wed, 10 Nov 2010 11:44:35 +0100
changeset 40453 a81346e57cef
parent 40452 45e7c2889d2f
child 40454 2516ea25a54b
tuned;
src/Pure/General/yxml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/yxml.scala	Tue Nov 09 23:24:46 2010 +0100
+++ b/src/Pure/General/yxml.scala	Wed Nov 10 11:44:35 2010 +0100
@@ -7,7 +7,7 @@
 package isabelle
 
 
-import scala.collection.mutable.ListBuffer
+import scala.collection.mutable
 
 
 object YXML
@@ -84,8 +84,8 @@
   {
     /* stack operations */
 
-    def buffer(): ListBuffer[XML.Tree] = new ListBuffer[XML.Tree]
-    var stack: List[(Markup, ListBuffer[XML.Tree])] = List((Markup.Empty, buffer()))
+    def buffer(): mutable.ListBuffer[XML.Tree] = new mutable.ListBuffer[XML.Tree]
+    var stack: List[(Markup, mutable.ListBuffer[XML.Tree])] = List((Markup.Empty, buffer()))
 
     def add(x: XML.Tree)
     {
isabelle