From bbfe70007076f28ddbc58abc0eeb7f6dc95e2036 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 2 May 2010 16:38:56 +0000
Subject: Fix some const cast warnings.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102867 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/Expr/Constraints.cpp | 2 +-
 lib/Expr/Expr.cpp        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Expr')

diff --git a/lib/Expr/Constraints.cpp b/lib/Expr/Constraints.cpp
index 9c09e643..b759daae 100644
--- a/lib/Expr/Constraints.cpp
+++ b/lib/Expr/Constraints.cpp
@@ -52,7 +52,7 @@ public:
 
   Action visitExprPost(const Expr &e) {
     std::map< ref<Expr>, ref<Expr> >::const_iterator it =
-      replacements.find(ref<Expr>((Expr*) &e));
+      replacements.find(ref<Expr>(const_cast<Expr*>(&e)));
     if (it!=replacements.end()) {
       return Action::changeTo(it->second);
     } else {
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index 703c689f..71e64325 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -288,7 +288,7 @@ ref<Expr> Expr::createIsZero(ref<Expr> e) {
 }
 
 void Expr::print(std::ostream &os) const {
-  ExprPPrinter::printSingleExpr(os, (Expr*)this);
+  ExprPPrinter::printSingleExpr(os, const_cast<Expr*>(this));
 }
 
 void Expr::dump() const {
-- 
cgit 1.4.1