diff options
Diffstat (limited to 'lib/Expr/Constraints.cpp')
| -rw-r--r-- | lib/Expr/Constraints.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 { |