[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Removed useless instruction.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at 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>:"