[PPL-devel] [GIT] ppl/ppl(master): Avoid commented-out code.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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;
   }