diff options
Diffstat (limited to 'libs/ezsat/ezsat.cc')
| -rw-r--r-- | libs/ezsat/ezsat.cc | 4 |
1 files changed, 2 insertions, 2 deletions
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); |