src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Wed Nov 09 12:05:32 2022 +0100
+++ b/src/Pure/System/isabelle_process.scala	Wed Nov 09 12:32:20 2022 +0100
@@ -56,7 +56,7 @@
         startup.fulfill("")
       case Session.Terminated(result) =>
         if (!result.ok && !startup.is_finished) {
-          val syslog = session.syslog_content()
+          val syslog = session.syslog.content()
           val err = "Session startup failed" + (if (syslog.isEmpty) "" else ":\n" + syslog)
           startup.fulfill(err)
         }