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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 21 09:08:45 2009 +0200

Corrected silly typo in compile-time check.

---

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

diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index e6cda70..042eb59 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -2077,8 +2077,8 @@ template <typename T> template <bool integer_upper_bound> bool BD_Shape<T>::BHZ09_upper_bound_assign_if_exact(const BD_Shape& y) { - PPL_COMPILE_TIME_CHECK(not (integer_upper_bound - && std::numeric_limits<T>::is_integer), + PPL_COMPILE_TIME_CHECK(!integer_upper_bound + || std::numeric_limits<T>::is_integer, "BD_Shape<T>::BHZ09_upper_bound_assign_if_exact(y):" " instantiating for integer upper bound," " but T in not an integer datatype.");