[PPL-devel] [GIT] ppl/ppl(master): Silenced gcc warning.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Jun  6 18:32:03 2011 +0200

Silenced gcc warning.

---

 Watchdog/tests/pwl_test.hh |    1 +
 tests/ppl_test.hh          |    1 +
 2 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/Watchdog/tests/pwl_test.hh b/Watchdog/tests/pwl_test.hh
index 6fac692..75b9200 100644
--- a/Watchdog/tests/pwl_test.hh
+++ b/Watchdog/tests/pwl_test.hh
@@ -64,6 +64,7 @@ main() try {					\
   set_handlers();				\
   bool succeeded = false;			\
   bool overflow = false;			\
+  (void) overflow;                              \
   std::list<std::string> failed_tests;
 
 #define END_MAIN							\
diff --git a/tests/ppl_test.hh b/tests/ppl_test.hh
index 731d05e..e2bc341 100644
--- a/tests/ppl_test.hh
+++ b/tests/ppl_test.hh
@@ -66,6 +66,7 @@ main() try {                                             \
   set_handlers();                                        \
   bool succeeded = false;                                \
   bool overflow = false;                                 \
+  (void) overflow;                                       \
   std::list<std::string> failed_tests;                   \
   std::list<std::string> unexpectedly_succeeded_tests;