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

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Jan 17 08:59:34 2013 +0100

Comments fixed.
(Thanks to Marco Faella.)

---

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

diff --git a/src/Generator_defs.hh b/src/Generator_defs.hh
index 5471ee2..5bb204c 100644
--- a/src/Generator_defs.hh
+++ b/src/Generator_defs.hh
@@ -625,14 +625,14 @@ private:
 
   //! Marks the epsilon dimension as a standard dimension.
   /*!
-    The row topology is changed to <CODE>NOT_NECESSARILY_CLOSED</CODE>, and
+    The row topology is changed to <CODE>NECESSARILY_CLOSED</CODE>, and
     the number of space dimensions is increased by 1.
   */
   void mark_as_necessarily_closed();
 
   //! Marks the last dimension as the epsilon dimension.
   /*!
-    The row topology is changed to <CODE>NECESSARILY_CLOSED</CODE>, and
+    The row topology is changed to <CODE>NOT_NECESSARILY_CLOSED</CODE>, and
     the number of space dimensions is decreased by 1.
   */
   void mark_as_not_necessarily_closed();