Module: ppl/ppl Branch: master Commit: 0876ffa984a99f22b38fc72d6ae4e23814064f4d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0876ffa984a99...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 4 20:52:55 2011 +0100
FIXME resolved.
---
src/Polyhedron_nonpublic.cc | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-)
diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 75e7564..ddab81f 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1181,8 +1181,6 @@ PPL::Polyhedron::strongly_minimize_constraints() const { // Now we check if there exists another strict inequality // constraint having a superset of its saturators, // when disregarding points. - /* FIXME: what is this clear for? */ - sat_ci.clear(); sat_ci.union_assign(sat[i], sat_all_but_points); bool eps_redundant = false; for (dimension_type j = 0; j < cs_rows; ++j)