src/Pure/tactic.ML

--- a/src/Pure/tactic.ML	Fri Apr 08 15:48:14 2011 +0200
+++ b/src/Pure/tactic.ML	Fri Apr 08 16:34:14 2011 +0200
@@ -318,7 +318,7 @@
 
 (*Renaming of parameters in a subgoal*)
 fun rename_tac xs i =
-  case Library.find_first (not o Syntax.is_identifier) xs of
+  case Library.find_first (not o Lexicon.is_identifier) xs of
       SOME x => error ("Not an identifier: " ^ x)
     | NONE => PRIMITIVE (Thm.rename_params_rule (xs, i));