src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Sat Mar 09 10:31:20 2019 +0100
+++ b/src/Pure/PIDE/command.ML	Sat Mar 09 13:19:13 2019 +0100
@@ -173,7 +173,10 @@
 fun init_eval_state opt_thy =
  {failed = false,
   command = Toplevel.empty,
-  state = (case opt_thy of NONE => Toplevel.toplevel | SOME thy => Toplevel.theory_toplevel thy)};
+  state =
+    (case opt_thy of
+      NONE => Toplevel.init ()
+    | SOME thy => Toplevel.theory_toplevel thy)};
 
 datatype eval =
   Eval of