changeset 76655 | b3d458a90aeb |
parent 76330 | 0749f4d4b5be |
child 76656 | a8f452f7c503 |
--- a/src/Pure/PIDE/headless.scala Fri Dec 16 17:02:10 2022 +0100 +++ b/src/Pure/PIDE/headless.scala Fri Dec 16 17:30:29 2022 +0100 @@ -622,7 +622,7 @@ val session = new Session(session_name, options, resources) progress.echo("Starting session " + session_name + " ...") - Isabelle_Process.start(session, options, session_base_info.sessions_structure, store, + Isabelle_Process.start(session, options, session_base_info, store, logic = session_name, modes = print_mode).await_startup() session