Fixed gcc build (c++11 stuff in ezSAT)

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index f21c8ee2ab98acc9e3b530464c0c7c16b96c31c2..e37031314d5bedba0c16b417ba2f07930741995b 100644 (file)
--- 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");

diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 8371071ed9a075465574bb7eb300a8dcb74a5e0e..2674d83df723adae8c5a3ac62d2be7872747a106 100644 (file)
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -44,8 +44,8 @@ public:
                OpNot, OpAnd, OpOr, OpXor, OpIFF, OpITE
        };
 
-       const int TRUE = 1;
-       const int FALSE = 2;
+       static const int TRUE;
+       static const int FALSE;
 
 private:
        std::map<std::string, int> literalsCache;