src/Pure/Isar/toplevel.ML
changeset 62889 99c7f31615c2
parent 62826 eb94e570c1a4
child 62895 54c2abe7e9a4
     1.1 --- a/src/Pure/Isar/toplevel.ML	Wed Apr 06 14:08:57 2016 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Wed Apr 06 16:33:33 2016 +0200
     1.3 @@ -574,7 +574,7 @@
     1.4  fun transition int tr st =
     1.5    let
     1.6      val (st', opt_err) =
     1.7 -      Context.setmp_thread_data (try (Context.Proof o presentation_context_of) st)
     1.8 +      Context.setmp_generic_context (try (Context.Proof o presentation_context_of) st)
     1.9          (fn () => app int tr st) ();
    1.10      val opt_err' = opt_err |> Option.map
    1.11        (fn Runtime.EXCURSION_FAIL exn_info => exn_info