src/Pure/Syntax/lexicon.ML

--- a/src/Pure/Syntax/lexicon.ML	Wed Aug 29 11:31:07 2012 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Wed Aug 29 11:48:45 2012 +0200
@@ -298,7 +298,7 @@
         (Scan.finite Symbol_Pos.stopper (Scan.repeat scan_token)) syms of
       (toks, []) => toks
     | (_, ss) => error ("Inner lexical error at: " ^ Symbol_Pos.content ss ^
-        Position.str_of (#1 (Symbol_Pos.range ss))))
+        Position.here (#1 (Symbol_Pos.range ss))))
   end;