src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Thu Nov 03 16:08:28 2022 +0100
+++ b/src/Pure/PIDE/command.ML	Thu Nov 03 20:10:35 2022 +0100
@@ -170,10 +170,7 @@
 fun init_eval_state opt_thy =
  {failed = false,
   command = Toplevel.empty,
-  state =
-    (case opt_thy of
-      NONE => Toplevel.init_toplevel ()
-    | SOME thy => Toplevel.theory_toplevel thy)};
+  state = Toplevel.make_state opt_thy};
 
 datatype eval =
   Eval of