Module: ppl/ppl Branch: master Commit: 6c5b321e17513b2492e821619ddae38c1ff0115d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5b321e17513...
Author: Roberto Bagnara bagnara@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);