[PPL-devel] [GIT] ppl/ppl(master): Added missing argument names.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jun 17 16:20:34 2010 +0200

Added missing argument names.

---

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

diff --git a/src/Box.defs.hh b/src/Box.defs.hh
index e812c45..4d6f412 100644
--- a/src/Box.defs.hh
+++ b/src/Box.defs.hh
@@ -718,7 +718,7 @@ public:
     \exception std::invalid_argument
     Thrown if \p x and \p y are dimension-incompatible.
   */
-  bool contains(const Box&) const;
+  bool contains(const Box& y) const;
 
   /*! \brief
     Returns <CODE>true</CODE> if and only if \p *this strictly contains \p y.
@@ -726,7 +726,7 @@ public:
     \exception std::invalid_argument
     Thrown if \p x and \p y are dimension-incompatible.
   */
-  bool strictly_contains(const Box&) const;
+  bool strictly_contains(const Box& y) const;
 
   /*! \brief
     Returns <CODE>true</CODE> if and only if \p *this and \p y are disjoint.