ezSAT bugfix: don't call virtual methods in base class constructor

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index c6126d862e14bbc851b3dd28c78d2221d1462707..287177b1c6669244206bf6ac489c62805ce60f62 100644 (file)
--- 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 f77a3b9188176f5be6b97c06f100033466f345d9..cc6301e441314a0276d6fb7954121d4399944c29 100644 (file)
--- 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);