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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Aug 22 08:36:18 2012 +0200

Revert "Two comments turned into assertions."

This reverts commit e4ced22bfaf9e410719d47154dcc942ceffbeea0.

---

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

diff --git a/src/wrap_assign.hh b/src/wrap_assign.hh index acc6b5e..fb8b2c1 100644 --- a/src/wrap_assign.hh +++ b/src/wrap_assign.hh @@ -153,11 +153,11 @@ wrap_assign(PSET& pointset, const unsigned complexity_threshold, const bool wrap_individually, const char* class_name) { - PPL_ASSERT(vars.space_dimension() <= pointset.space_dimension()); + // We must have cs_p->space_dimension() <= vars.space_dimension() + // and vars.space_dimension() <= pointset.space_dimension().

// Dimension-compatibility check of `*cs_p', if any. if (cs_p != 0) { - PPL_ASSERT(cs_p->space_dimension() <= vars.space_dimension()); const dimension_type vars_space_dim = vars.space_dimension(); if (cs_p->space_dimension() > vars_space_dim) { std::ostringstream s;