[PPL-devel] [GIT] ppl/ppl(master): Warnings avoided.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Feb 16 21:35:26 2010 +0100

Warnings avoided.

---

 interfaces/C/ppl_c_implementation_common.cc |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc
index e297492..92bf0a6 100644
--- a/interfaces/C/ppl_c_implementation_common.cc
+++ b/interfaces/C/ppl_c_implementation_common.cc
@@ -23,6 +23,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 /* Interface for Coefficient. */
 
 #include "ppl_c_implementation_common.defs.hh"
+#include "compiler.hh"
 
 namespace Parma_Polyhedra_Library {
 
@@ -252,6 +253,7 @@ CATCH_ALL
 int
 ppl_set_timeout(unsigned time) try {
 #ifndef PPL_WATCHDOG_LIBRARY_ENABLED
+  used(time);
   const char* what = "PPL C interface error:\n"
     "ppl_set_timeout: the PPL Watchdog library is not enabled.";
   throw std::runtime_error(what);
@@ -282,6 +284,7 @@ CATCH_ALL
 int
 ppl_set_deterministic_timeout(unsigned weight) try {
 #ifndef PPL_WATCHDOG_LIBRARY_ENABLED
+  used(weight);
   const char* what = "PPL C interface error:\n"
     "ppl_set_deterministic_timeout: the PPL Watchdog library is not enabled.";
   throw std::runtime_error(what);