Module: ppl/ppl Branch: devel Commit: 44ae5b13d0584b4f3257d86b485d717a2c6dd540 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44ae5b13d0584...
Author: Enea Zaffanella zaffanella@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