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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 21 17:15:06 2012 +0200

Unusual and difficult-to-maintain comment removed.

---

src/Grid_simplify.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Grid_simplify.cc b/src/Grid_simplify.cc index a7e20c7..4a0a515 100644 --- a/src/Grid_simplify.cc +++ b/src/Grid_simplify.cc @@ -467,7 +467,7 @@ Grid::simplify(Congruence_System& cgs, Dimension_Kinds& dim_kinds) {

++pivot_index; } - } // end for (dimension_type dim = num_columns; dim-- > 0; ) + }

if (pivot_index > 0) { // If the last row is false then make it the equality 1 = 0, and