From 39aa85ce75219636ecc3c55ebda0fdc062357ea9 Mon Sep 17 00:00:00 2001 From: CarlWachter Date: Tue, 30 Jan 2024 14:21:14 +0100 Subject: [PATCH] Adapted tacos.hpp to fit changes --- include/sta/tacos.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/sta/tacos.hpp b/include/sta/tacos.hpp index b92f699..c5d6edc 100644 --- a/include/sta/tacos.hpp +++ b/include/sta/tacos.hpp @@ -68,7 +68,7 @@ namespace sta * @ingroup tacos_api */ template - std::shared_ptr addThread(std::list states, Args ... args) + std::shared_ptr addThread(std::set states, Args ... args) { std::shared_ptr thread_ptr = std::make_shared(args...);