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

Author: Enea Zaffanella zaffanella@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; }