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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:10:19 2012 +0100

Avoid commented-out code. Detected by ECLAIR service cmntdout.

---

src/Interval.inlines.hh | 1 - src/PIP_Tree.cc | 1 - 2 files changed, 0 insertions(+), 2 deletions(-)

diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh index 08ee6ec..1f1b2f0 100644 --- a/src/Interval.inlines.hh +++ b/src/Interval.inlines.hh @@ -1002,7 +1002,6 @@ operator/(const Interval<B, Info>& x, const Interval<B, Info>& y) { template <typename Boundary, typename Info> inline std::ostream& operator<<(std::ostream& os, const Interval<Boundary, Info>& x) { - // PPL_ASSERT(x.OK()); if (check_empty_arg(x)) return os << "[]"; if (x.is_singleton()) { diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 7cd260f..d30dba1 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -249,7 +249,6 @@ column_lower(const Matrix& tableau, if (ja == jb) { // Same column: just compare the ratios. // This works since all columns are lexico-positive. - // return cst_a * sij_b > cst_b * sij_a; return lhs_coeff > rhs_coeff; }