src/Pure/PIDE/resources.ML
changeset 58934 385a4cc7426f
parent 58928 23d0ffd48006
child 59083 88b0b1f28adc
     1.1 --- a/src/Pure/PIDE/resources.ML	Fri Nov 07 19:47:05 2014 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Fri Nov 07 20:06:18 2014 +0100
     1.3 @@ -128,7 +128,7 @@
     1.4    let
     1.5      fun prepare_span st span =
     1.6        Command_Span.content span
     1.7 -      |> Command.read (Command.read_thy st) master_dir init []
     1.8 +      |> Command.read keywords (Command.read_thy st) master_dir init []
     1.9        |> (fn tr => Toplevel.put_timing (last_timing tr) tr);
    1.10  
    1.11      fun element_result span_elem (st, _) =