[PPL-devel] [GIT] ppl/ppl(floating_point): Removed an assertion.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Mon Jul 26 14:22:00 2010 +0200

Removed an assertion.

---

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

diff --git a/src/linearize.hh b/src/linearize.hh
index 2f1171b..7883cfa 100644
--- a/src/linearize.hh
+++ b/src/linearize.hh
@@ -619,9 +619,6 @@ linearize(const Concrete_Expression<Target>& expr,
       "linearize<Target, FP_Interval_Type>:"
       " FP_Interval_Type is not the type of an interval with floating point boundaries.");
 
-  // Check that we are dealing with an expression of floating point type.
-  PPL_ASSERT(expr.is_floating_point());
-
   switch(expr.kind()) {
   case Integer_Constant<Target>::KIND:
     throw std::runtime_error("PPL internal error: unimplemented");