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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 24 22:07:29 2010 +0400

Fixed a bug in drop_some_non_integer_points().

---

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

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index a54c639..b48c610 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -2128,7 +2128,7 @@ PPL::Polyhedron::drop_some_non_integer_points(const Variables_Set* pvars, // with the inhomogeneous term incremented by 1. if (c[eps_index] < 0 && !c.is_tautological()) { c[eps_index] = 0; - ++c[0]; + --c[0]; changed = true; } }