src/Pure/Thy/html.ML

--- a/src/Pure/Thy/html.ML	Mon Aug 13 18:10:20 2007 +0200
+++ b/src/Pure/Thy/html.ML	Mon Aug 13 18:10:22 2007 +0200
@@ -250,7 +250,7 @@
   | SOME x' => style "skolem" x');
 
 fun var_or_skolem s =
-  (case Syntax.read_variable s of
+  (case Lexicon.read_variable s of
     SOME (x, i) =>
       (case try Name.dest_skolem x of
         NONE => style "var" s