summaryrefslogtreecommitdiff
path: root/libs/ezsat/ezminisat.cc
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 /libs/ezsat/ezminisat.cc
parentedc21460565ea75cff54cab69933da8c5e9db382 (diff)
ezSAT bugfix: don't call virtual methods in base class constructor
Diffstat (limited to 'libs/ezsat/ezminisat.cc')
-rw-r--r--libs/ezsat/ezminisat.cc3
1 files changed, 3 insertions, 0 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()