[PPL-devel] [GIT] ppl/ppl(termination): Code formatting fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 17 14:50:01 2010 +0400

Code formatting fixed.

---

 src/assert.hh |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/assert.hh b/src/assert.hh
index e1cfb58..4a83ae2 100644
--- a/src/assert.hh
+++ b/src/assert.hh
@@ -38,12 +38,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 #if !PPL_DEBUG_PPL_ASSERT
 #define PPL_ASSERT(cond__) assert(cond__)
 #else
-#define PPL_ASSERT(cond__)				   \
-  do {							   \
-    Parma_Polyhedra_Library::Weightwatch_Traits::Threshold \
-      old_weight__ =					   \
-      Parma_Polyhedra_Library::Weightwatch_Traits::weight; \
-    assert(cond__);					   \
+#define PPL_ASSERT(cond__)				       \
+  do {							       \
+    Parma_Polyhedra_Library::Weightwatch_Traits::Threshold     \
+      old_weight__                                             \
+        = Parma_Polyhedra_Library::Weightwatch_Traits::weight; \
+    assert(cond__);					       \
     assert(old_weight__ == Parma_Polyhedra_Library::Weightwatch_Traits::weight &&   \
 	   "PPL_ASSERT_HEAVY have to be used here");	   \
   } while(0)