1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index f1e18f12..dc787ad6 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -40,7 +40,7 @@ namespace klee {
 
     /// negateExpr - Return a copy of the query with the expression negated.
     Query negateExpr() const {
-      return withExpr(Expr::createNot(expr));
+      return withExpr(Expr::createIsZero(expr));
     }
   };