[PPL-devel] [GIT] ppl/ppl(master): Rounding direction is not relevant here.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun May 17 16:42:56 2009 +0200

Rounding direction is not relevant here.

---

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

diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh
index 5b1498e..55f8ac4 100644
--- a/src/wrap_assign.hh
+++ b/src/wrap_assign.hh
@@ -313,13 +313,13 @@ wrap_assign(PSET& pointset,
     quadrants = last_quadrant - first_quadrant + 1;
 
     unsigned extension;
-    Result r = assign_r(extension, quadrants, ROUND_DIRECT);
+    Result r = assign_r(extension, quadrants, ROUND_IGNORE);
     if (result_overflow(r) || extension > complexity_threshold)
       goto set_full_range;
 
     if (!wrap_individually && !collective_wrap_too_complex) {
       r = mul_assign_r(collective_wrap_complexity,
-		       collective_wrap_complexity, extension, ROUND_DIRECT);
+		       collective_wrap_complexity, extension, ROUND_IGNORE);
       if (result_overflow(r) ||
 	  collective_wrap_complexity > complexity_threshold)
           collective_wrap_too_complex = true;