Module: ppl/ppl Branch: floating_point Commit: ed84cf0c1472b75574bf6d1256944f3d48597dad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed84cf0c1472b...
Author: Fabio Bossi bossi@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; }