diff options
Diffstat (limited to 'libs/ezsat/ezsat.cc')
| -rw-r--r-- | libs/ezsat/ezsat.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc index f21c8ee2a..e37031314 100644 --- a/libs/ezsat/ezsat.cc +++ b/libs/ezsat/ezsat.cc @@ -24,6 +24,9 @@ #include <stdlib.h> #include <assert.h> +const int ezSAT::TRUE = 1; +const int ezSAT::FALSE = 2; + ezSAT::ezSAT() { literal("TRUE"); |