[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed some typos.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu May 14 08:28:05 2009 +0200

Fixed some typos.

---

 src/Interval.defs.hh |   14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh
index e58b084..56b0b6c 100644
--- a/src/Interval.defs.hh
+++ b/src/Interval.defs.hh
@@ -529,9 +529,9 @@ public:
   }
 
   template <typename T>
-  typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, Interval&>::type
-  wrap_assign(const T& x, Bounded_Integer_Type_Width w,
-	      Bounded_Integer_Type_Signedness s, const Interval& refinement) {
+  typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, I_Result>::type
+  wrap_assign(Bounded_Integer_Type_Width w, Bounded_Integer_Type_Signedness s,
+	      const Interval& refinement) {
     if (is_empty())
       return I_EMPTY;
     if (lower_is_boundary_infinity() || upper_is_boundary_infinity())
@@ -544,15 +544,15 @@ public:
     switch (s) {
     case UNSIGNED:
       umod_2exp_assign(LOWER, lower(), info(),
-		       LOWER, f_lower(x), f_info(x), w);
+		       LOWER, lower(), info(), w);
       umod_2exp_assign(UPPER, upper(), info(),
-		       UPPER, f_upper(x), f_info(x), w);
+		       UPPER, upper(), info(), w);
       break;
     case SIGNED_2_COMPLEMENT:
       smod_2exp_assign(LOWER, lower(), info(),
-		       LOWER, f_lower(x), f_info(x), w);
+		       LOWER, lower(), info(), w);
       smod_2exp_assign(UPPER, upper(), info(),
-		       UPPER, f_upper(x), f_info(x), w);
+		       UPPER, upper(), info(), w);
       break;
     default:
       assert(false);