src/Pure/PIDE/document.ML
changeset 70067 0cb8753bdb50
parent 70064 f8293bf510a0
     1.1 --- a/src/Pure/PIDE/document.ML	Sat Mar 09 13:35:49 2019 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Sat Mar 09 23:57:07 2019 +0100
     1.3 @@ -575,7 +575,7 @@
     1.4      val imports = #imports header;
     1.5  
     1.6      fun maybe_eval_result eval = Command.eval_result_state eval
     1.7 -      handle Fail _ => Toplevel.init ();
     1.8 +      handle Fail _ => Toplevel.init_toplevel ();
     1.9  
    1.10      fun maybe_end_theory pos st = SOME (Toplevel.end_theory pos st)
    1.11        handle ERROR msg => (Output.error_message msg; NONE);
    1.12 @@ -586,7 +586,7 @@
    1.13            NONE =>
    1.14              maybe_end_theory pos
    1.15                (case get_result (snd (the (AList.lookup (op =) deps import))) of
    1.16 -                NONE => Toplevel.init ()
    1.17 +                NONE => Toplevel.init_toplevel ()
    1.18                | SOME (_, eval) => maybe_eval_result eval)
    1.19          | some => some)
    1.20          |> Option.map (fn thy => (thy, (pos, Theory.get_markup thy))));