[PPL-devel] [GIT] ppl/ppl(pip): Prefer C++ named casts to C style casts.

[Enea Zaffanella]

Module: ppl/ppl
Branch: pip
Commit: b4fe5c5c5a5b0f79809a956b1b739a9b5ce14540
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4fe5c5c5a5b0f79809a956b1b739a9b5ce14540

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Jan 30 23:43:40 2010 +0100

Prefer C++ named casts to C style casts.

---

 src/PIP_Tree.cc |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 2460bf5..8958d0d 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -243,7 +243,8 @@ namespace IO_Operators {
 
 std::ostream&
 operator<<(std::ostream& os, const PIP_Tree_Node::Artificial_Parameter& x) {
-  os << "(" << ((Linear_Expression)x) << ") div " << x.get_denominator();
+  const Linear_Expression& expr = static_cast<const Linear_Expression&>(x);
+  os << "(" << expr << ") div " << x.get_denominator();
   return os;
 }