[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed a couple of syntax errors.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Sep 16 16:21:33 2009 +0200

Fixed a couple of syntax errors.

---

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

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index 011754c..da27f9d 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -5453,7 +5453,7 @@ refine_fp_interval_abstract_store(
     dimension_type curr_var = ite->first;
     PPL_ASSERT(curr_var < space_dim);
     dimension_type n_curr_var = curr_var * 2;
-    FP_Interval_Type& curr_int = &(ite->second);
+    FP_Interval_Type& curr_int = ite->second;
     T& lb = curr_int.lower();
     T& ub = curr_int.upper();
     // FIXME: are we sure that ROUND_IGNORE is good?
@@ -5462,7 +5462,7 @@ refine_fp_interval_abstract_store(
     div_2exp_assign_r(upper_bound, upper_bound, 1, ROUND_IGNORE);
 
     if (upper_bound < ub)
-      ub = upper_bound;
+      ub = upper_bound.raw_value();
 
     // Now get the lower bound for curr_var in the octagon.
     neg_assign_r(upper_bound, matrix[n_curr_var][n_curr_var+1],
@@ -5470,7 +5470,7 @@ refine_fp_interval_abstract_store(
     div_2exp_assign_r(upper_bound, upper_bound, 1, ROUND_IGNORE);
 
     if (upper_bound > lb)
-      lb = upper_bound;
+      lb = upper_bound.raw_value();
   }
 }