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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 6 17:16:50 2012 +0200

Punctuation fixed.

---

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

diff --git a/src/assert.hh b/src/assert.hh index 5b0a65a..7751da2 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -38,7 +38,7 @@ site: http://bugseng.com/products/ppl/ . */

// The PPL_ASSERTION_FAILED macro is used to output a message after // an assertion failure and then cause program termination. -// (It is meant to be used only when assertions are turned on). +// (It is meant to be used only when assertions are turned on.) #define PPL_ASSERTION_FAILED(msg__) Parma_Polyhedra_Library:: \ ppl_assertion_failed(msg__, __FILE__, __LINE__, __func__)