proper sequential evaluation;

--- a/src/Pure/General/sql.scala	Mon Aug 21 15:54:08 2023 +0200
+++ b/src/Pure/General/sql.scala	Mon Aug 21 20:40:15 2023 +0200
@@ -481,7 +481,10 @@
       def trace(msg: String): Unit = {
         val trace_time = Time.now() - trace_start
         if (trace_time >= trace_min) {
-          val nl = if (trace_nl) "" else { trace_nl = true; "\nnow = " + (Time.now() - time_start).toString + "\n" }
+          time_start
+          val nl =
+            if (trace_nl) ""
+            else { trace_nl = true; "\nnow = " + (Time.now() - time_start).toString + "\n" }
           log(nl + trace_time + " transaction " + trace_count +
             if_proper(label, " " + label) + ": " + msg)
         }