[PPL-devel] [GIT] ppl/ppl(master): Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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>