src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sat Mar 05 10:55:48 2022 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sat Mar 05 10:57:58 2022 +0100
@@ -306,7 +306,7 @@
   {
     val suffix = if (ext == "") "" else "." + ext
     val file = Files.createTempFile(base_dir.toPath, name, suffix).toFile
-    file.deleteOnExit
+    file.deleteOnExit()
     file
   }
 
@@ -357,7 +357,7 @@
   def tmp_dir(name: String, base_dir: JFile = isabelle_tmp_prefix()): JFile =
   {
     val dir = Files.createTempDirectory(base_dir.toPath, name).toFile
-    dir.deleteOnExit
+    dir.deleteOnExit()
     dir
   }