From 772d0b11529f58a703cdceafb22742339771faf7 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Wed, 8 May 2013 15:20:17 +0000
Subject: 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
---
 lib/Expr/ExprSMTLIBPrinter.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Expr')

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