Module: ppl/ppl Branch: termination Commit: 56f9f111da40d4d19c6ebe616cd6393c0b8007f7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56f9f111da40d...
Author: Roberto Bagnara bagnara@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)