src/Pure/General/xml.scala

--- a/src/Pure/General/xml.scala	Sat Aug 23 19:42:12 2008 +0200
+++ b/src/Pure/General/xml.scala	Sat Aug 23 19:42:13 2008 +0200
@@ -70,7 +70,7 @@
     }
     val root_elem = tree match {
       case Elem(_, _, _) => DOM(tree)
-      case Text(_) => DOM(Elem("root", Nil, List(tree)))
+      case Text(_) => DOM(Elem(Markup.ROOT, Nil, List(tree)))
     }
     doc.appendChild(root_elem)
     doc