[PPL-devel] [GIT] ppl/ppl(master): Comment improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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;	\