# HG changeset patch
# User wenzelm
# Date 1646474278 -3600
# Node ID 6d1b64d76b57ff37f130a70a519bcf621a1c2ee9
# Parent  05a2586ec89afa6def1873ffe091feb169cdc4cc
tuned, based on suggestions by IntelliJ IDEA;

diff -r 05a2586ec89a -r 6d1b64d76b57 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
   }