src/Pure/PIDE/resources.ML
changeset 59689 7968c57ea240
parent 59123 e68e44836d04
child 59718 5d0c539537c9
     1.1 --- a/src/Pure/PIDE/resources.ML	Fri Mar 13 12:44:16 2015 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Fri Mar 13 12:58:49 2015 +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 keywords (Command.read_thy st) master_dir init []
     1.8 +      |> Command.read keywords (Command.read_thy st) master_dir init ([], ~1)
     1.9        |> (fn tr => Toplevel.put_timing (last_timing tr) tr);
    1.10  
    1.11      fun element_result span_elem (st, _) =