src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Fri May 21 18:10:19 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Fri May 21 20:10:45 2010 +0200
@@ -84,7 +84,7 @@
 
   class Result(val kind: Kind.Value, val props: List[(String, String)], val body: List[XML.Tree])
   {
-    def message = Output.Message(Kind.markup(kind), props, body)
+    def message = XML.Elem(Kind.markup(kind), props, body)
 
     override def toString: String =
     {