src/Pure/System/bash.scala

--- a/src/Pure/System/bash.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/System/bash.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -108,7 +108,7 @@
     def terminate(): Unit = Isabelle_Thread.try_uninterruptible
     {
       kill("INT", count = 7) && kill("TERM", count = 3) && kill("KILL")
-      proc.destroy
+      proc.destroy()
       do_cleanup()
     }
 
@@ -173,7 +173,7 @@
       watchdog: Option[Watchdog] = None,
       strict: Boolean = true): Process_Result =
     {
-      stdin.close
+      stdin.close()
 
       val out_lines =
         Future.thread("bash_stdout") { File.read_lines(stdout, progress_stdout) }
@@ -195,7 +195,7 @@
         try { join }
         catch { case Exn.Interrupt() => terminate(); Exn.Interrupt.return_code }
 
-      watchdog_thread.foreach(_.cancel)
+      watchdog_thread.foreach(_.cancel())
 
       if (strict && rc == Exn.Interrupt.return_code) throw Exn.Interrupt()