src/Pure/ML/ml_lex.ML

--- a/src/Pure/ML/ml_lex.ML	Thu Aug 09 22:31:04 2012 +0200
+++ b/src/Pure/ML/ml_lex.ML	Fri Aug 10 10:18:07 2012 +0200
@@ -115,7 +115,7 @@
   | String    => Isabelle_Markup.ML_string
   | Space     => Markup.empty
   | Comment   => Isabelle_Markup.ML_comment
-  | Error _   => Isabelle_Markup.ML_malformed
+  | Error _   => Isabelle_Markup.bad
   | EOF       => Markup.empty;
 
 fun token_markup kind x =