From 23f0a12c727721478bcb87ec142fb86a329f7cdb Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 1 Mar 2014 20:59:00 +0100
Subject: [PATCH] ezSAT bugfix: don't call virtual methods in base class
 constructor

---
 libs/ezsat/ezminisat.cc | 3 +++
 libs/ezsat/ezsat.cc     | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index c6126d862..287177b1c 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -35,6 +35,9 @@ ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
 {
 	minisatSolver = NULL;
 	foundContradiction = false;
+
+	freeze(TRUE);
+	freeze(FALSE);
 }
 
 ezMiniSAT::~ezMiniSAT()
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index f77a3b918..cc6301e44 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -36,8 +36,8 @@ ezSAT::ezSAT()
 	solverTimeout = 0;
 	solverTimoutStatus = false;
 
-	freeze(literal("TRUE"));
-	freeze(literal("FALSE"));
+	literal("TRUE");
+	literal("FALSE");
 
 	assert(literal("TRUE") == TRUE);
 	assert(literal("FALSE") == FALSE);
-- 
2.30.2