diff -r dafae095d733 -r b1f544c84040 src/Pure/Thy/thy_syntax.ML
--- a/src/Pure/Thy/thy_syntax.ML	Fri Apr 08 15:48:14 2011 +0200
+++ b/src/Pure/Thy/thy_syntax.ML	Fri Apr 08 16:34:14 2011 +0200
@@ -65,7 +65,7 @@
   | Token.EOF           => Markup.control;
 
 fun token_markup tok =
-  if Token.keyword_with (not o Syntax.is_identifier) tok then Markup.operator
+  if Token.keyword_with (not o Lexicon.is_identifier) tok then Markup.operator
   else
     let
       val kind = Token.kind_of tok;