src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Fri Jul 07 14:10:36 2023 +0200
+++ b/src/Pure/System/progress.scala	Fri Jul 07 14:17:53 2023 +0200
@@ -289,7 +289,7 @@
         stmt.long(10) = 0L
       })
     }
-    if (context_uuid == _agent_uuid) Progress.Data.vacuum(db)
+    if (context_uuid == _agent_uuid) db.vacuum(Progress.Data.tables)
   }
 
   def exit(close: Boolean = false): Unit = synchronized {