diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-12 10:18:01 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-12 10:18:01 +0200 |
| commit | 1bee82ae2d3395a13d5f5e371af6fe5d657602cb (patch) | |
| tree | 34aef3a1450bdeb416709b5b8eb9f9cc1b85c058 /libs/ezsat/ezsat.cc | |
| parent | 4b311b7b99f55ee4bfe43447067b177fb2f90a82 (diff) | |
Fixed gcc build (c++11 stuff in ezSAT)
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 f21c8ee2..e3703131 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"); |