artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added cassert

Browse Source
This commit is contained in:
Artur Meski
2019-09-22 13:31:49 +01:00
parent f91fce4c34
commit 62da2de88c
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
reactics-bdd/stateconstr.hh
View File

@@ -11,6 +11,8 @@
#include "types.hh" #include "types.hh"
#include <cassert>
/* For state constraints: */ /* For state constraints: */
#define STC_PV 80 #define STC_PV 80
#define STC_AND 81 #define STC_AND 81