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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 13:37:50 2012 +0100

Forgotten changes.

---

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

diff --git a/src/Concrete_Expression.cc b/src/Concrete_Expression.cc index 528c2a3..85c4529 100644 --- a/src/Concrete_Expression.cc +++ b/src/Concrete_Expression.cc @@ -29,7 +29,7 @@ namespace PPL = Parma_Polyhedra_Library;

bool PPL::Concrete_Expression_Type::OK() const { - if (impl.bounded_integer != 0) { + if (impl.bounded_integer) { if (impl.bounded_integer_type_width != BITS_8 && impl.bounded_integer_type_width != BITS_16 && impl.bounded_integer_type_width != BITS_32 @@ -74,7 +74,7 @@ PPL::Concrete_Expression_Type::OK() const { } } else { - // Here we have impl.bounded_integer == 0. + // Here we have impl.bounded_integer == false. if (impl.floating_point_format != IEEE754_HALF && impl.floating_point_format != IEEE754_SINGLE && impl.floating_point_format != IEEE754_DOUBLE