[PPL-devel] [GIT] ppl/ppl(master): The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr  7 19:02:56 2012 +0200

The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter.
It erroneously used to take an unsigned int.

---

 NEWS                                        |    4 ++++
 interfaces/C/ppl_c_header.h                 |    2 +-
 interfaces/C/ppl_c_implementation_common.cc |    2 +-
 3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/NEWS b/NEWS
index 1b83c0f..d11adc3 100644
--- a/NEWS
+++ b/NEWS
@@ -30,6 +30,10 @@ o  Added new Box<ITV> methods
 o  Two BibTeX databases of papers related to the Parma Polyhedra Library
    have been added to the distribution (in the `doc' directory).
 
+o  The function ppl_set_deterministic_timeout() in the C interface now
+   takes an unsigned long long parameter (it erroneously used to take
+   an unsigned int).
+
 
 Bugfixes
 ========
diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h
index 237e35f..066ced4 100644
--- a/interfaces/C/ppl_c_header.h
+++ b/interfaces/C/ppl_c_header.h
@@ -420,7 +420,7 @@ ppl_reset_timeout PPL_PROTO((void));
   weight thresholds when upgrading to newer version of the PPL.
 */
 int
-ppl_set_deterministic_timeout PPL_PROTO((unsigned weight));
+ppl_set_deterministic_timeout PPL_PROTO((unsigned long long weight));
 
 /*! \brief
   Resets the deterministic timeout so that the computation is not interrupted.
diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc
index 045765c..d0c5e6b 100644
--- a/interfaces/C/ppl_c_implementation_common.cc
+++ b/interfaces/C/ppl_c_implementation_common.cc
@@ -259,7 +259,7 @@ ppl_reset_timeout(void) try {
 CATCH_ALL
 
 int
-ppl_set_deterministic_timeout(unsigned weight) try {
+ppl_set_deterministic_timeout(unsigned long long weight) try {
   // In case a deterministic timeout was already set.
   reset_deterministic_timeout();
   static timeout_exception e;