[PPL-devel] [GIT] ppl/ppl(master): Corrected wrong assertion after call to Grid:: simplify().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 25 10:18:08 2012 +0200

Corrected wrong assertion after call to Grid::simplify().

---

 src/Grid_Certificate.cc |   10 +++-------
 1 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc
index ad957f6..72959df 100644
--- a/src/Grid_Certificate.cc
+++ b/src/Grid_Certificate.cc
@@ -54,14 +54,10 @@ PPL::Grid_Certificate::Grid_Certificate(const Grid& gr)
 	// Minimize `gr' congruence system.  As in Polyhedron assume
 	// that `gr' contains at least one point.
         Grid& mgr = const_cast<Grid&>(gr);
-#ifndef NDEBUG
-	bool contains_points = Grid::simplify(mgr.con_sys, mgr.dim_kinds);
+	bool empty = Grid::simplify(mgr.con_sys, mgr.dim_kinds);
 	// Avoid possible compiler warning.
-	used(contains_points);
-	PPL_ASSERT(contains_points);
-#else
-	Grid::simplify(mgr.con_sys, mgr.dim_kinds);
-#endif
+	used(empty);
+	PPL_ASSERT(!empty);
 	mgr.set_congruences_minimized();
 
 	num_proper_congruences = mgr.con_sys.num_proper_congruences();