[PPL-devel] [GIT] ppl/ppl(master): Punctuation fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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__)