[PPL-devel] [GIT] ppl/ppl(master): Fixed a bug in drop_some_non_integer_points().

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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;
       }
     }