From 0f175a6084b931c3755d7e81b3162be58f189e7f Mon Sep 17 00:00:00 2001
From: ziadb <zied.benhadjalouane@gmail.com>
Date: Thu, 30 Nov 2023 17:09:59 -0500
Subject: [PATCH] * change to set

---
 examples/server/server.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/server/server.cpp b/examples/server/server.cpp
index c79b54940..52cb3f759 100644
--- a/examples/server/server.cpp
+++ b/examples/server/server.cpp
@@ -24,7 +24,6 @@
 #include <thread>
 #include <mutex>
 #include <chrono>
-#include <unordered_set>
 
 #ifndef SERVER_VERBOSE
 #define SERVER_VERBOSE 1
@@ -169,7 +168,7 @@ struct task_result {
 
 struct task_multi {
     int id;
-    std::unordered_set<int> subtasks_remaining{};
+    std::set<int> subtasks_remaining{};
     std::vector<task_result> results{};
 };