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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Feb 24 08:03:28 2012 +0100

Comment punctuation fixed.

---

 src/BD_Shape.templates.hh        |    2 +-
 src/Octagonal_Shape.templates.hh |    4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh
index 8ef7bfe..bb38d16 100644
--- a/src/BD_Shape.templates.hh
+++ b/src/BD_Shape.templates.hh
@@ -305,7 +305,7 @@ BD_Shape<T>::affine_dimension() const {
 
   // The vector `predecessor' is used to represent equivalence classes:
   // `predecessor[i] == i' if and only if `i' is the leader of its
-  // equivalence class (i.e., the minimum index in the class);
+  // equivalence class (i.e., the minimum index in the class).
   std::vector<dimension_type> predecessor;
   compute_predecessors(predecessor);
 
diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index 27bcd0a..bb8b59b 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -960,7 +960,7 @@ Octagonal_Shape<T>::affine_dimension() const {
   // The vector `leaders' is used to represent non-singular
   // equivalence classes:
   // `leaders[i] == i' if and only if `i' is the leader of its
-  // equivalence class (i.e., the minimum index in the class);
+  // equivalence class (i.e., the minimum index in the class).
   std::vector<dimension_type> leaders;
   compute_leaders(leaders);
 
@@ -996,7 +996,7 @@ Octagonal_Shape<T>::minimized_congruences() const {
 
     // The vector `leaders' is used to represent equivalence classes:
     // `leaders[i] == i' if and only if `i' is the leader of its
-    // equivalence class (i.e., the minimum index in the class);
+    // equivalence class (i.e., the minimum index in the class).
     std::vector<dimension_type> leaders;
     compute_leaders(leaders);