[PPL-devel] [GIT] ppl/ppl(master): Fixed constructor from a different partially reduced product element.

[Enea Zaffanella]

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

Author: Enea Zaffanella <enea.zaffanella at bugseng.com>
Date:   Sun Mar  3 16:03:15 2013 +0100

Fixed constructor from a different partially reduced product element.

---

 src/Partially_Reduced_Product_inlines.hh |    5 +----
 1 files changed, 1 insertions(+), 4 deletions(-)

diff --git a/src/Partially_Reduced_Product_inlines.hh b/src/Partially_Reduced_Product_inlines.hh
index 591fbba..378b5a7 100644
--- a/src/Partially_Reduced_Product_inlines.hh
+++ b/src/Partially_Reduced_Product_inlines.hh
@@ -156,14 +156,11 @@ inline
 Partially_Reduced_Product<D1, D2, R>
 ::Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y,
                             Complexity_Class complexity)
-  : d1(y.space_dimension()), d2(y.space_dimension()) {
+  : d1(y.space_dimension()), d2(y.space_dimension()), reduced(false) {
   Partially_Reduced_Product<D1, D2, R> pg1(y.domain1(), complexity);
   Partially_Reduced_Product<D1, D2, R> pg2(y.domain2(), complexity);
   pg1.intersection_assign(pg2);
   m_swap(pg1);
-  /* Even if y is reduced, the built product may not be reduced as
-     the reduction method may have changed (i.e., S != R). */
-  clear_reduced_flag();
 }
 
 template <typename D1, typename D2, typename R>