src/Pure/Thy/thy_load.ML
changeset 52534 341ae9cd4743
parent 52510 a4a102237ded
child 52752 587a4610da9e
     1.1 --- a/src/Pure/Thy/thy_load.ML	Fri Jul 05 17:09:28 2013 +0200
     1.2 +++ b/src/Pure/Thy/thy_load.ML	Fri Jul 05 18:37:44 2013 +0200
     1.3 @@ -217,8 +217,7 @@
     1.4    let
     1.5      fun prepare_span span =
     1.6        Thy_Syntax.span_content span
     1.7 -      |> Command.read
     1.8 -      |> Toplevel.modify_init init
     1.9 +      |> Command.read init
    1.10        |> (fn tr => Toplevel.put_timing (last_timing tr) tr);
    1.11  
    1.12      fun element_result span_elem (st, _) =