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: ezSAT bugfix: don't call virtual methods in base class constructor

---
 libs/ezsat/ezsat.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'libs/ezsat/ezsat.cc')

diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index f77a3b91..cc6301e4 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);
-- 
cgit v1.2.3