diff options
Diffstat (limited to 'libs')
-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 c6126d862..287177b1c 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 f77a3b918..cc6301e44 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); |