src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Tue Jul 18 11:39:43 2023 +0200
+++ b/src/Pure/System/progress.scala	Tue Jul 18 12:19:12 2023 +0200
@@ -291,7 +291,7 @@
         stmt.long(10) = 0L
       })
     }
-    if (context_uuid == _agent_uuid) db.vacuum(Progress.Data.tables)
+    if (context_uuid == _agent_uuid) db.vacuum(Progress.Data.tables.list)
   }
 
   def exit(close: Boolean = false): Unit = synchronized {