
Module: ppl/ppl Branch: master Commit: fb5d23c2e4159819a48ea0c33deaa4865a26cc3f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb5d23c2e4159...
Author: Abramo Bagnara abramo.bagnara@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; }