1 files changed, 3 insertions, 0 deletions
diff --git a/src/fig/FIGCarousel.h b/src/fig/FIGCarousel.h
index 29ede3b..0d482ae 100644
--- a/src/fig/FIGCarousel.h
+++ b/src/fig/FIGCarousel.h
@@ -35,6 +35,7 @@
 #include "fig/FIG2.h"
 #include <list>
 #include <map>
+#include <unordered_set>
 #include <memory>
 #include "MuxElements.h"
 
@@ -86,6 +87,8 @@ class FIGCarousel {
 
         void load_and_allocate(IFIG& fig, FIBAllocation fib);
 
+        std::unordered_set<std::string> m_missed_deadlines;
+
         FIGRuntimeInformation m_rti;
 
         // Some FIGs can be mapped to a specific FIB or to FIB_ANY