Module: ppl/ppl Branch: master Commit: 0fd2de73dd626465d1c77d925eb63e2adb639648 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd626...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Jan 8 17:23:18 2011 +0100

Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.

---

src/Partially_Reduced_Product.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Partially_Reduced_Product.inlines.hh b/src/Partially_Reduced_Product.inlines.hh index 2e24c89..bbd14f1 100644 --- a/src/Partially_Reduced_Product.inlines.hh +++ b/src/Partially_Reduced_Product.inlines.hh @@ -357,7 +357,7 @@ Partially_Reduced_Product<D1, D2, R> y.reduce(); d1.time_elapse_assign(y.d1); d2.time_elapse_assign(y.d2); - PPL_ASSERT(OK()); + PPL_ASSERT_HEAVY(OK()); }

template <typename D1, typename D2, typename R>