Module: ppl/ppl Branch: compliance Commit: cf56af994e36020b7ef73f9f8e61409333bbd062 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf56af994e360...
Author: Patrik Pomelli patrik.pomelli@bugseng.com Date: Sat Jun 21 18:44:47 2014 +0200
Fixed brace position.
Signed-off-by: Roberto Bagnara roberto.bagnara@bugseng.com
---
src/wrap_assign.hh | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index e78df5a..49959a8 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -114,12 +114,12 @@ wrap_assign_col(PSET& dest, PSET p(src); if (cs_p != 0) { p.refine_with_constraints(*cs_p); - for (Variables_Set::const_iterator i = vars.begin(), + } + for (Variables_Set::const_iterator i = vars.begin(), vars_end = vars.end(); i != vars_end; ++i) { - const Variable x(*i); - p.refine_with_constraint(min_value <= x); - p.refine_with_constraint(x <= max_value); - } + const Variable x(*i); + p.refine_with_constraint(min_value <= x); + p.refine_with_constraint(x <= max_value); } dest.upper_bound_assign(p); }