src/Pure/PIDE/resources.ML

 
     val {name = (name, _), ...} = header;
     val _ = Thy_Header.define_keywords header;
 
     val lexs = Keyword.get_lexicons ();
-    val toks = Outer_Syntax.parse_tokens lexs text_pos text;
+    val toks = Outer_Syntax.scan lexs text_pos text;
     val spans = Outer_Syntax.parse_spans toks;
     val elements = Thy_Syntax.parse_elements spans;
 
     fun init () =
       begin_theory master_dir header parents