Module: ppl/ppl Branch: ppl-0_11-branch Commit: f6bc2ee2fcc49c9b2d7d4c7ba15aa7577e2ce525 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bc2ee2fcc49...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Jan 9 11:17:16 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>