src/Pure/Tools/update_cartouches.scala

--- a/src/Pure/Tools/update_cartouches.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Tools/update_cartouches.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -37,7 +37,7 @@
     }
   }
 
-  def update_cartouches(replace_text: Boolean, path: Path)
+  def update_cartouches(replace_text: Boolean, path: Path): Unit =
   {
     val text0 = File.read(path)