summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-01 20:59:00 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-01 20:59:00 +0100
commit23f0a12c727721478bcb87ec142fb86a329f7cdb (patch)
tree6e3d905c21a8d54540612e2f4795f0cf084a44b6
parentedc21460565ea75cff54cab69933da8c5e9db382 (diff)
ezSAT bugfix: don't call virtual methods in base class constructor
-rw-r--r--libs/ezsat/ezminisat.cc3
-rw-r--r--libs/ezsat/ezsat.cc4
2 files changed, 5 insertions, 2 deletions
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index c6126d86..287177b1 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 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);