src/Pure/ProofGeneral/proof_general_pgip.ML

--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Aug 13 18:10:20 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Aug 13 18:10:22 2007 +0200
@@ -86,7 +86,7 @@
   | SOME x' => tagit skolem_tag 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 => tagit var_tag s