[PPL-devel] [GIT] ppl/ppl(master): Fixed debugging code.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Mar 24 15:50:31 2012 +0100

Fixed debugging code.

---

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

diff --git a/src/Grid_Certificate.cc b/src/Grid_Certificate.cc
index 379af7b..f22d76e 100644
--- a/src/Grid_Certificate.cc
+++ b/src/Grid_Certificate.cc
@@ -55,11 +55,12 @@ PPL::Grid_Certificate::Grid_Certificate(const Grid& gr)
 	// that `gr' contains at least one point.
         Grid& mgr = const_cast<Grid&>(gr);
 #ifndef NDEBUG
-	Grid::simplify(mgr.con_sys, mgr.dim_kinds);
-#else
 	bool contains_points = Grid::simplify(mgr.con_sys, mgr.dim_kinds);
-	used(contains_points);	// Quiet compiler warning.
+	// Avoid possible compiler warning.
+	used(contains_points);
 	PPL_ASSERT(contains_points);
+#else
+	Grid::simplify(mgr.con_sys, mgr.dim_kinds);
 #endif
 	mgr.set_congruences_minimized();