[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed one typo.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Sep 16 12:24:01 2009 +0200

Fixed one typo.

---

 src/Octagonal_Shape.templates.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index 08feb94..c0aba85 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -628,7 +628,7 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality(
       bool is_right_coeff_minus_one = (right_w_coeff == -1);
       if (left_w_id == right_w_id) {
         if (is_left_coeff_one && is_right_coeff_one ||
-            is_left_coeff_minus_one && is_right_constraint_minus_one) {
+            is_left_coeff_minus_one && is_right_coeff_minus_one) {
           // Here we have an identity or a constants-only constraint.
           return;
         }