--- a/src/Pure/Syntax/syntax_phases.ML Wed Apr 27 20:28:27 2011 +0200
+++ b/src/Pure/Syntax/syntax_phases.ML Wed Apr 27 20:37:56 2011 +0200
@@ -31,8 +31,9 @@
fun markup_free ctxt x =
[if can Name.dest_skolem x then Markup.skolem else Markup.free] @
- (if not (Variable.is_body ctxt) orelse Variable.is_fixed ctxt x then []
- else [Markup.hilite]);
+ (if Variable.is_body ctxt orelse Variable.is_fixed ctxt x
+ then [Variable.markup_fixed ctxt x]
+ else []);
fun markup_var xi = [Markup.name (Term.string_of_vname xi) Markup.var];