[PPL-devel] [GIT] ppl/ppl(master): Restored the build.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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()) {