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());