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

Author: Roberto Bagnara roberto.bagnara@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();