[PPL-devel] [GIT] ppl/ppl(master): Fixed the invocation of the generic implementation of wrap_assign().

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri May 15 15:28:11 2009 +0200

Fixed the invocation of the generic implementation of wrap_assign().

---

 src/Box.templates.hh |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/src/Box.templates.hh b/src/Box.templates.hh
index e6117a2..95386d1 100644
--- a/src/Box.templates.hh
+++ b/src/Box.templates.hh
@@ -1423,7 +1423,8 @@ Box<ITV>::wrap_assign(const Variables_Set& vars,
 #if 1 // Generic implementation commented out.
   Implementation::wrap_assign(*this,
                               vars, w, s, o, pcs,
-                              complexity_threshold, wrap_individually);
+                              complexity_threshold, wrap_individually,
+                              "Box");
 #else // Specialized implementation.
   used(wrap_individually);
   used(complexity_threshold);