[PPL-devel] [GIT] ppl/ppl(master): A minor stylistic improvement and a typo corrected.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 16 11:13:48 2010 +0200

A minor stylistic improvement and a typo corrected.

---

 src/Grid_public.cc |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Grid_public.cc b/src/Grid_public.cc
index 6d17f57..fcf89c0 100644
--- a/src/Grid_public.cc
+++ b/src/Grid_public.cc
@@ -2679,8 +2679,8 @@ PPL::Grid::wrap_assign(const Variables_Set& vars,
                        Bounded_Integer_Type_Representation r,
                        Bounded_Integer_Type_Overflow o,
                        const Constraint_System* pcs,
-                       unsigned,
-                       bool) {
+                       unsigned /* complexity_threshold */,
+                       bool /* wrap_individually */) {
 
   // Dimension-compatibility check of `*pcs', if any.
   if (pcs != 0) {
@@ -2698,7 +2698,7 @@ PPL::Grid::wrap_assign(const Variables_Set& vars,
   if (space_dim < min_space_dim)
     throw_dimension_incompatible("wrap_assign(vs, ...)", min_space_dim);
 
-  // Wrapping an empty polyhedron is a no-op.
+  // Wrapping an empty grid is a no-op.
   if (marked_empty())
     return;
   if (!generators_are_minimized() && !minimize())