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);