Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQueryExpression() to make it clear what it does."

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181445 91177308-0d34-0410-b5e6-96231b3b80d8

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