src/Pure/PIDE/command.ML
changeset 70067 0cb8753bdb50
parent 70064 f8293bf510a0
child 70068 b9985133805d
     1.1 --- a/src/Pure/PIDE/command.ML	Sat Mar 09 13:35:49 2019 +0100
     1.2 +++ b/src/Pure/PIDE/command.ML	Sat Mar 09 23:57:07 2019 +0100
     1.3 @@ -175,7 +175,7 @@
     1.4    command = Toplevel.empty,
     1.5    state =
     1.6      (case opt_thy of
     1.7 -      NONE => Toplevel.init ()
     1.8 +      NONE => Toplevel.init_toplevel ()
     1.9      | SOME thy => Toplevel.theory_toplevel thy)};
    1.10  
    1.11  datatype eval =