src/Pure/PIDE/headless.scala

--- a/src/Pure/PIDE/headless.scala	Fri Jun 27 13:44:36 2025 +0200
+++ b/src/Pure/PIDE/headless.scala	Fri Jun 27 14:41:18 2025 +0200
@@ -47,9 +47,11 @@
     session_name: String,
     _session_options: => Options,
     _resources: Headless.Resources)
-  extends isabelle.Session(_session_options) {
+  extends isabelle.Session {
     session =>
 
+    override def session_options: Options = _session_options
+
     override def resources: Headless.Resources = _resources
 
     private def loaded_theory(name: Document.Node.Name): Boolean =