src/Pure/Syntax/syntax_phases.ML

--- a/src/Pure/Syntax/syntax_phases.ML	Sat Mar 01 22:46:31 2014 +0100
+++ b/src/Pure/Syntax/syntax_phases.ML	Sat Mar 01 23:17:37 2014 +0100
@@ -440,7 +440,7 @@
           else decode_appl ps asts
       | decode ps (Ast.Appl asts) = decode_appl ps asts;
 
-    val {text, pos, ...} = Syntax.read_token_source str;
+    val {text, pos, ...} = Syntax.read_token str;
     val syms = Symbol_Pos.explode (text, pos);
     val ast =
       parse_asts ctxt true root (syms, pos)