[PPL-devel] [GIT] ppl/ppl(compliance): Fixed brace position.

[Patrik Pomelli]

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

Author: Patrik Pomelli <patrik.pomelli at bugseng.com>
Date:   Sat Jun 21 18:44:47 2014 +0200

Fixed brace position.

Signed-off-by: Roberto Bagnara <roberto.bagnara at 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);
   }