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

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Sep  4 17:00:16 2009 +0200

Corrected a couple of typos in documentation of Variables_Set.

---

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

diff --git a/src/Variables_Set.defs.hh b/src/Variables_Set.defs.hh
index 6692c69..41c78ab 100644
--- a/src/Variables_Set.defs.hh
+++ b/src/Variables_Set.defs.hh
@@ -62,7 +62,7 @@ public:
     If <CODE>v.id() <= w.id()</CODE>, this constructor builds the
     set of variables' indexes
     <CODE>v.id()</CODE>, <CODE>v.id()+1</CODE>, ..., <CODE>w.id()</CODE>.
-    The empty set it built otherwise.
+    The empty set is built otherwise.
   */
   Variables_Set(const Variable& v, const Variable& w);
 
@@ -75,13 +75,13 @@ public:
   */
   dimension_type space_dimension() const;
 
-  //! Inserts the index of variavle \p v into the set.
+  //! Inserts the index of variable \p v into the set.
   void insert(Variable v);
+
   // The `insert' method above overloads (instead of hiding) the
   // other `insert' method of std::set.
   using Base::insert;
 
-
   /*! \brief
     Loads from \p s an ASCII representation (as produced by
     ascii_dump(std::ostream&) const) and sets \p *this accordingly.