From e55e42de629b23a4e90c14183066a2a0449b3bf7 Mon Sep 17 00:00:00 2001
From: marcus <root@dbServermoflaher@warwick.ac.uk>
Date: Sun, 1 Feb 2026 15:48:44 +0000
Subject: [PATCH] bugfix: missing args setting in Pool.h

---
 src/DataModelBase/Pool.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/DataModelBase/Pool.h b/src/DataModelBase/Pool.h
index 9db51c0..9c6c1c2 100644
--- a/src/DataModelBase/Pool.h
+++ b/src/DataModelBase/Pool.h
@@ -42,6 +42,7 @@ namespace ToolFramework{
       args.sum = &sum;
       args.counter = &counter;
       args.mtx = &mtx;
+      args.objects=&objects;
       
       if(manage) m_utils.CreateThread("pool_manager", &Thread, &args);