diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-01 20:59:00 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-01 20:59:00 +0100 |
| commit | 23f0a12c727721478bcb87ec142fb86a329f7cdb (patch) | |
| tree | 6e3d905c21a8d54540612e2f4795f0cf084a44b6 /libs/ezsat | |
| parent | edc21460565ea75cff54cab69933da8c5e9db382 (diff) | |
ezSAT bugfix: don't call virtual methods in base class constructor
Diffstat (limited to 'libs/ezsat')
| -rw-r--r-- | libs/ezsat/ezminisat.cc | 3 | ||||
| -rw-r--r-- | 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 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); |