From 1bee82ae2d3395a13d5f5e371af6fe5d657602cb Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 12 Jun 2013 10:18:01 +0200
Subject: [PATCH] Fixed gcc build (c++11 stuff in ezSAT)

---
 libs/ezsat/ezsat.cc | 3 +++
 libs/ezsat/ezsat.h  | 4 ++--
 2 files changed, 5 insertions(+), 2 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");
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 8371071ed..2674d83df 100644
--- 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;
-- 
2.30.2