# HG changeset patch
# User wenzelm
# Date 1585310655 -3600
# Node ID 64aad1e46f98b657c3b465742f1b1ec224658458
# Parent  23d0a45a92838beba51b7ac0a4ffeb53d1b3b57e
clarified signature;

diff -r 23d0a45a9283 -r 64aad1e46f98 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Fri Mar 27 13:02:56 2020 +0100
+++ b/src/Pure/PIDE/headless.scala	Fri Mar 27 13:04:15 2020 +0100
@@ -562,6 +562,8 @@
   {
     resources =>
 
+    val store: Sessions.Store = Sessions.store(options)
+
 
     /* session */
 
@@ -584,7 +586,6 @@
       session.phase_changed += session_phase
 
       progress.echo("Starting session " + session_base_info.session + " ...")
-      val store = Sessions.store(options)
       Isabelle_Process(session, options, session_base_info.sessions_structure, store,
         logic = session_base_info.session, modes = print_mode)