Module: ppl/ppl Branch: master Commit: 89dc0e98630f7986a46283fb3fa47259f0e77b8f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89dc0e98630f7...
Author: Enea Zaffanella zaffanella@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())