Module: ppl/ppl Branch: floating_point Commit: cf0f3e91a7d00432443ee59354eb8354643c4dc6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf0f3e91a7d00...
Author: Fabio Bossi bossi@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");