# HG changeset patch
# User wenzelm
# Date 1689507660 -7200
# Node ID 8da30ae02dda92d39af1f09fabccab5782aac3a8
# Parent  b625cdabf963389a1a0d99ef9c9402d10b3dad1d
global transaction_count;

diff -r b625cdabf963 -r 8da30ae02dda src/Pure/General/sql.scala
--- a/src/Pure/General/sql.scala	Sun Jul 16 12:34:41 2023 +0200
+++ b/src/Pure/General/sql.scala	Sun Jul 16 13:41:00 2023 +0200
@@ -455,10 +455,6 @@
       finally { connection.setAutoCommit(auto_commit) }
     }
 
-    private var _transaction_count: Int = 0
-    private def transaction_count(): Int =
-      synchronized { _transaction_count += 1; _transaction_count }
-
     def transaction_lock[A](
       tables: Tables,
       create: Boolean = false,
@@ -474,7 +470,7 @@
           case s => error("Bad system property " + prop + ": " + quote(s))
         }
 
-      val trace_count = transaction_count()
+      val trace_count = - SQL.transaction_count()
       val trace_start = Time.now()
       var trace_nl = false
 
@@ -564,6 +560,9 @@
       }
     }
   }
+
+
+  private val transaction_count = Counter.make()
 }