From 983340be1df191bdeb564a42a1a2df444f28a05b Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Tue, 14 Apr 2020 11:10:31 +0200
Subject: [PATCH] fix: add #include <functional>

---
 src/ModelCheckerThV2.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ModelCheckerThV2.cpp b/src/ModelCheckerThV2.cpp
index 776affd..8a7e0f1 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;
-- 
GitLab