src/Pure/Isar/isar_cmd.ML
changeset 70067 0cb8753bdb50
parent 70064 f8293bf510a0
     1.1 --- a/src/Pure/Isar/isar_cmd.ML	Sat Mar 09 13:35:49 2019 +0100
     1.2 +++ b/src/Pure/Isar/isar_cmd.ML	Sat Mar 09 23:57:07 2019 +0100
     1.3 @@ -195,7 +195,7 @@
     1.4  fun diag_state ctxt =
     1.5    (case Diag_State.get ctxt of
     1.6      SOME st => st
     1.7 -  | NONE => Toplevel.init ());
     1.8 +  | NONE => Toplevel.init_toplevel ());
     1.9  
    1.10  val diag_goal = Proof.goal o Toplevel.proof_of o diag_state;
    1.11