From cd3d48660273f4a50fb4557da14cfe6af4a2fe2d Mon Sep 17 00:00:00 2001
From: fennecdjay <fennecdjay@gmail.com>
Date: Sat, 3 Sep 2022 11:25:49 +0200
Subject: [PATCH] :art: Finish removing killed shreds

---
 include/shreduler_private.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/include/shreduler_private.h b/include/shreduler_private.h
index 65185eef..9ba32f35 100644
--- a/include/shreduler_private.h
+++ b/include/shreduler_private.h
@@ -7,7 +7,6 @@ struct Shreduler_ {
   struct Vector_     active_shreds;
   MUTEX_TYPE         mutex;
   size_t             shred_ids;
-  struct Vector_     killed_shreds;
   bool               loop;
 };
 
-- 
2.43.0