[PPL-devel] [GIT] ppl/ppl(devel): Get rid of temporary print previously added for debugging purposes.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Nov 26 11:54:30 2015 +0100

Get rid of temporary print previously added for debugging purposes.

---

 src/Polyhedron_conversion_templates.hh |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/Polyhedron_conversion_templates.hh b/src/Polyhedron_conversion_templates.hh
index 9bcdf4c..d1415cf 100644
--- a/src/Polyhedron_conversion_templates.hh
+++ b/src/Polyhedron_conversion_templates.hh
@@ -425,7 +425,6 @@ Polyhedron::conversion(Source_Linear_System& source,
 #ifndef NDEBUG
 #if PPL_QUICK_ADJ_TEST
     for (dimension_type i = dest_num_rows; i-- > 0; ) {
-      std::cerr << "sat_num_ones[" << i << "] = " << sat_num_ones[i] << "\n";
       PPL_ASSERT(sat_num_ones[i] == sat[i].count_ones());
     }
 #endif // PPL_QUICK_ADJ_TEST