src/Pure/General/yxml.scala

--- a/src/Pure/General/yxml.scala	Fri Dec 18 12:10:52 2009 +0100
+++ b/src/Pure/General/yxml.scala	Fri Dec 18 12:28:50 2009 +0100
@@ -171,7 +171,7 @@
   /* failsafe parsing */
 
   private def markup_failsafe(source: CharSequence) =
-    XML.Elem (Markup.BAD, Nil,
+    XML.Elem (Markup.MALFORMED, Nil,
       List(XML.Text(source.toString.replace(X_string, "\\<^X>").replace(Y_string, "\\<^Y>"))))
 
   def parse_body_failsafe(source: CharSequence): List[XML.Tree] =