src/Pure/Tools/update_theorems.scala

--- a/src/Pure/Tools/update_theorems.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Tools/update_theorems.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -9,7 +9,7 @@
 
 object Update_Theorems
 {
-  def update_theorems(path: Path)
+  def update_theorems(path: Path): Unit =
   {
     val text0 = File.read(path)
     val text1 =