Merge pull request #118 from cactusdynamics/fix-117

Add proper header to signal_handler.cc
cactusdynamics · Aug 16, 2024 · 861ed14 · 861ed14
2 parents 24c3e1c + 96a01cc
commit 861ed14
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/cactus_rt/signal_handler.cc b/src/cactus_rt/signal_handler.cc
@@ -6,6 +6,7 @@
 #include <cstring>
 #include <stdexcept>
 #include <string>
+#include <tuple>
 
 namespace cactus_rt {
 /// @private