# HG changeset patch
# User wenzelm
# Date 1659787879 -7200
# Node ID 72e77c8307ecb4d8dc6ccf25c5a2fbc6726aeef5
# Parent  70a65ee4a738e50d3838e8ff2c0587d3c8335df5
tuned signature, following hints by IntelliJ IDEA;

diff -r 70a65ee4a738 -r 72e77c8307ec 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()
       }
     }
 
diff -r 70a65ee4a738 -r 72e77c8307ec src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Sat Aug 06 14:06:29 2022 +0200
+++ b/src/Pure/General/sql.scala	Sat Aug 06 14:11:19 2022 +0200
@@ -303,13 +303,13 @@
     def close(): Unit = connection.close()
 
     def transaction[A](body: => A): A = {
-      val auto_commit = connection.getAutoCommit
+      val auto_commit = connection.getAutoCommit()
       try {
         connection.setAutoCommit(false)
-        val savepoint = connection.setSavepoint
+        val savepoint = connection.setSavepoint()
         try {
           val result = body
-          connection.commit
+          connection.commit()
           result
         }
         catch { case exn: Throwable => connection.rollback(savepoint); throw exn }
@@ -403,7 +403,7 @@
     def insert_permissive(table: SQL.Table, sql: SQL.Source = ""): SQL.Source =
       table.insert_cmd("INSERT OR IGNORE", sql = sql)
 
-    def rebuild: Unit = using_statement("VACUUM")(_.execute())
+    def rebuild(): Unit = using_statement("VACUUM")(_.execute())
   }
 }