changeset 27959 | d6a4d7b013f7 |
parent 27952 | 0576c91a6803 |
child 28007 | 2d0c93291293 |
--- 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