Module: ppl/ppl Branch: master Commit: 9ff6b157a31abe322be8f0ab89f993dbfff1521c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ff6b157a31ab...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Nov 3 20:38:31 2011 +0100
Code layout improved.
---
src/Float.templates.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Float.templates.hh b/src/Float.templates.hh index 28147bf..c470ea6 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -158,8 +158,8 @@ void upper_bound_assign(std::map<dimension_type, typename FP_Linear_Form_Abstract_Store::iterator i1_end = ls1.end(); typename FP_Linear_Form_Abstract_Store::const_iterator i2_end = ls2.end(); while (i1 != i1_end) { - typename FP_Linear_Form_Abstract_Store::const_iterator i2 = - ls2.find(i1->first); + typename FP_Linear_Form_Abstract_Store::const_iterator + i2 = ls2.find(i1->first); if ((i2 == i2_end) || (i1->second != i2->second)) ls1.erase(i1++); else