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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jul 13 21:48:31 2009 +0200

Comment improved.

---

src/assert.hh | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/assert.hh b/src/assert.hh index 54ae39a..f0eac9e 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -49,8 +49,9 @@ site: http://www.cs.unipr.it/ppl/ . */ } while(0) #endif

-// The evaluation of asserted condition could have a non zero computational -// weight (i.e. the execution path could encounter a WEIGHT_ADD). +// The evaluation of asserted conditions could have a non zero +// computational weight (i.e., the execution path could contain an +// invocation of WEIGHT_ADD). #define PPL_ASSERT_HEAVY(cond__) \ do { \ ++Parma_Polyhedra_Library::Implementation::in_assert; \