[PPL-devel] [GIT] ppl/ppl(termination): Corrected a couple of typos in the documentation.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Mar  6 09:23:32 2010 +0100

Corrected a couple of typos in the documentation.

---

 src/Octagonal_Shape.defs.hh |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh
index f5b6ad1..b558f31 100644
--- a/src/Octagonal_Shape.defs.hh
+++ b/src/Octagonal_Shape.defs.hh
@@ -523,7 +523,7 @@ public:
     The built OS is the most precise OS that includes the box.
 
     \param box
-    The box representing the BDS to be built.
+    The box representing the OS to be built.
 
     \param complexity
     This argument is ignored as the algorithm used has
@@ -1114,8 +1114,8 @@ public:
     \c T is bound to an integer datatype.
 
     \note
-    The integer upper bound of two rational BDS is the smallest
-    rational BDS containing all the integral points in the two arguments.
+    The integer upper bound of two rational OS is the smallest
+    rational OS containing all the integral points in the two arguments.
     In general, the result is \e not an upper bound for the two input
     arguments, as it may cut away non-integral portions of the two
     rational shapes.