[PPL-devel] [GIT] ppl/ppl(master): Avoid another warning.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jun  6 18:09:43 2011 +0200

Avoid another warning.

---

 src/Interval.inlines.hh |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/Interval.inlines.hh b/src/Interval.inlines.hh
index 85cc815..f0e860a 100644
--- a/src/Interval.inlines.hh
+++ b/src/Interval.inlines.hh
@@ -331,9 +331,8 @@ Interval<To_Boundary, To_Info>::intersect_assign(const From& x) {
   PPL_ASSERT(f_OK(x));
   if (!intersect_restriction(info(), *this, x))
     return assign(EMPTY);
-  Result rl, ru;
-  rl = max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x));
-  ru = min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x));
+  max_assign(LOWER, lower(), info(), LOWER, f_lower(x), f_info(x));
+  min_assign(UPPER, upper(), info(), UPPER, f_upper(x), f_info(x));
   PPL_ASSERT(OK());
   return I_ANY;
 }