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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 24 14:03:14 2012 +0100

Restored the build.

---

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

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 07b9e53..15fc55b 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -92,7 +92,7 @@ PPL::Polyhedron::Polyhedron(const Topology topol, const Constraint_System& cs) sat_c(), sat_g() { // Protecting against space dimension overflow is up to the caller. - PPL_ASSERT(ccs.space_dimension() <= max_space_dimension()); + PPL_ASSERT(cs.space_dimension() <= max_space_dimension());

// TODO: this implementation is just an executable specification. Constraint_System cs_copy = cs; @@ -191,7 +191,7 @@ PPL::Polyhedron::Polyhedron(const Topology topol, const Generator_System& gs) sat_c(), sat_g() { // Protecting against space dimension overflow is up to the caller. - PPL_ASSERT(cgs.space_dimension() <= max_space_dimension()); + PPL_ASSERT(gs.space_dimension() <= max_space_dimension());

// An empty set of generators defines the empty polyhedron. if (gs.has_no_rows()) {