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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 26 09:53:15 2012 +0200

Restored (after adapting it) commented out code.

---

src/Polyhedron_nonpublic.cc | 7 +------ 1 files changed, 1 insertions(+), 6 deletions(-)

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index b948e04..f6f20ec 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1342,12 +1342,7 @@ PPL::Polyhedron::strongly_minimize_generators() const { }

gs.sys.index_first_pending = gs.num_rows(); - - /* FIXME: Check why the following does not work anymore. - if (gs_sorted) - gs.set_sorted(true); - */ - gs.set_sorted(false); + gs.set_sorted(gs_sorted);

PPL_ASSERT(gs.sys.OK());