summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezsat.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-12 10:18:01 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-12 10:18:01 +0200
commit1bee82ae2d3395a13d5f5e371af6fe5d657602cb (patch)
tree34aef3a1450bdeb416709b5b8eb9f9cc1b85c058 /libs/ezsat/ezsat.cc
parent4b311b7b99f55ee4bfe43447067b177fb2f90a82 (diff)
Fixed gcc build (c++11 stuff in ezSAT)
Diffstat (limited to 'libs/ezsat/ezsat.cc')
-rw-r--r--libs/ezsat/ezsat.cc3
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");