src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Sat Aug 06 14:06:29 2022 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat Aug 06 14:11:19 2022 +0200
@@ -910,7 +910,7 @@
             db2.create_view(Data.universal_table)
           }
         }
-        db2.rebuild
+        db2.rebuild()
       }
     }