# HG changeset patch
# User wenzelm
# Date 1650528437 -7200
# Node ID 400e325a54164c981a7d04dfd4f0bf027c10796e
# Parent  39011d0d2128e7554c5e572be993a071ab704861
clarified signature, based on hints by IntelliJ IDEA;

diff -r 39011d0d2128 -r 400e325a5416 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Thu Apr 21 10:03:38 2022 +0200
+++ b/src/Pure/System/scala.scala	Thu Apr 21 10:07:17 2022 +0200
@@ -208,15 +208,15 @@
     private def invoke_scala(msg: Prover.Protocol_Output): Boolean = synchronized {
       msg.properties match {
         case Markup.Invoke_Scala(name, id) =>
-          def body: Unit = {
+          def body(): Unit = {
             val (tag, res) = Scala.function_body(name, msg.chunks)
             result(id, tag, res)
           }
           val future =
             if (Scala.function_thread(name)) {
-              Future.thread(name = Isabelle_Thread.make_name(base = "invoke_scala"))(body)
+              Future.thread(name = Isabelle_Thread.make_name(base = "invoke_scala"))(body())
             }
-            else Future.fork(body)
+            else Future.fork(body())
           futures += (id -> future)
           true
         case _ => false