# HG changeset patch
# User wenzelm
# Date 1219513333 -7200
# Node ID d6a4d7b013f7dd54dcdbf9c47eb3d16a05162ccf
# Parent  292d78c906b183f190d830d43895873785f8b880
refer to symbolic Markup;

diff -r 292d78c906b1 -r d6a4d7b013f7 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