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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Tue Jul 5 19:16:27 2011 +0200

Removed useless instruction.

---

src/linearize.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/linearize.hh b/src/linearize.hh index dcf0bf0..76f08d3 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -680,7 +680,6 @@ linearize(const Concrete_Expression<Target>& expr, typedef std::map<dimension_type, Linear_Form> Linear_Form_Abstract_Store;

PPL_ASSERT(expr.type().is_floating_point()); - PPL_ASSERT(expr.type().is_bounded_integer()); // Check that analyzer_format is a floating point type. PPL_COMPILE_TIME_CHECK(!std::numeric_limits<analyzer_format>::is_exact, "linearize<Target, Interval_Type>:"