diff -r d025735a4090 -r 269dc4bf1f40 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Fri Mar 27 12:28:55 2020 +0100
+++ b/src/Pure/PIDE/headless.scala	Fri Mar 27 12:46:56 2020 +0100
@@ -585,7 +585,8 @@
       session.phase_changed += session_phase
 
       progress.echo("Starting session " + session_base_info.session + " ...")
-      Isabelle_Process(session, options, session_base_info.sessions_structure,
+      val store = Sessions.store(options)
+      Isabelle_Process(session, options, session_base_info.sessions_structure, store,
         logic = session_base_info.session, modes = print_mode)
 
       session_error.join match {