From 62da2de88ccb333f2a98481d6ea42d3ae90fc5ad Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 22 Sep 2019 13:31:49 +0100
Subject: [PATCH] Added cassert

---
 reactics-bdd/stateconstr.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/reactics-bdd/stateconstr.hh b/reactics-bdd/stateconstr.hh
index 21b42ae..95460fd 100644
--- a/reactics-bdd/stateconstr.hh
+++ b/reactics-bdd/stateconstr.hh
@@ -11,6 +11,8 @@
 
 #include "types.hh"
 
+#include <cassert>
+
 /* For state constraints: */
 #define STC_PV   80
 #define STC_AND  81