--- a/src/Pure/Syntax/syntax_phases.ML Thu Aug 09 22:31:04 2012 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML Fri Aug 10 10:18:07 2012 +0200
@@ -609,7 +609,7 @@
| token_trans "_tvar" x = SOME (Pretty.mark_str (Isabelle_Markup.tvar, x))
| token_trans "_free" x = SOME (Pretty.marks_str (free_or_skolem ctxt x))
| token_trans "_bound" x = SOME (Pretty.mark_str (Isabelle_Markup.bound, x))
- | token_trans "_loose" x = SOME (Pretty.mark_str (Isabelle_Markup.malformed, x))
+ | token_trans "_loose" x = SOME (Pretty.mark_str (Isabelle_Markup.bad, x))
| token_trans "_var" x = SOME (Pretty.mark_str (var_or_skolem x))
| token_trans "_numeral" x = SOME (Pretty.mark_str (Isabelle_Markup.numeral, x))
| token_trans "_inner_string" x = SOME (Pretty.mark_str (Isabelle_Markup.inner_string, x))