diff options
Diffstat (limited to 'lib/Expr/ExprSMTLIBPrinter.cpp')
| -rw-r--r-- | lib/Expr/ExprSMTLIBPrinter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Expr/ExprSMTLIBPrinter.cpp b/lib/Expr/ExprSMTLIBPrinter.cpp index aa75629a..9e97a4e0 100644 --- a/lib/Expr/ExprSMTLIBPrinter.cpp +++ b/lib/Expr/ExprSMTLIBPrinter.cpp @@ -69,7 +69,7 @@ namespace klee query = &q; reset(); // clear the data structures scanAll(); - mangleQuery(); + negateQueryExpression(); } void ExprSMTLIBPrinter::reset() @@ -831,7 +831,7 @@ namespace klee *p << ")"; } - void ExprSMTLIBPrinter::mangleQuery() + void ExprSMTLIBPrinter::negateQueryExpression() { //Negating the query queryAssert = Expr::createIsZero(query->expr); |