diff --git a/src/ModelCheckerThV2.cpp b/src/ModelCheckerThV2.cpp
index 776affd857152617b9448bf7e375a519977c895c..8a7e0f15c28cde66c4633d5210aac59953c68091 100644
--- a/src/ModelCheckerThV2.cpp
+++ b/src/ModelCheckerThV2.cpp
@@ -3,6 +3,7 @@
 #include "sylvan_seq.h"
 #include <sylvan_sog.h>
 #include <sylvan_int.h>
+#include <functional>
 
 using namespace sylvan;
 using namespace std;