diff options
Diffstat (limited to 'lib/Solver/CachingSolver.cpp')
| -rw-r--r-- | lib/Solver/CachingSolver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/CachingSolver.cpp b/lib/Solver/CachingSolver.cpp index d353e485..c0b77429 100644 --- a/lib/Solver/CachingSolver.cpp +++ b/lib/Solver/CachingSolver.cpp @@ -89,7 +89,7 @@ public: the canonicalization process. */ ref<Expr> CachingSolver::canonicalizeQuery(ref<Expr> originalQuery, bool &negationUsed) { - ref<Expr> negatedQuery = Expr::createNot(originalQuery); + ref<Expr> negatedQuery = Expr::createIsZero(originalQuery); // select the "smaller" query to the be canonical representation if (originalQuery.compare(negatedQuery) < 0) { |