:art: Finish removing killed shreds

diff --git a/include/shreduler_private.h b/include/shreduler_private.h
index 65185eef0506285c53539df2efb01c3927f1389c..9ba32f35b4b1eb4a4dc34ca563eec7e9caaf1fbb 100644 (file)
--- 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;
 };