Module: ppl/ppl Branch: master Commit: 2bd121ac6dd6ab6fd9429117d2348c1ce5091b3a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd121ac6dd6a... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Apr 7 19:27:28 2012 +0200 Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter." This reverts commit 7781b2d72ad31906c830a16a942b31ac305924c2. --- NEWS | 4 ---- interfaces/C/ppl_c_header.h | 2 +- interfaces/C/ppl_c_implementation_common.cc | 2 +- 3 files changed, 2 insertions(+), 6 deletions(-) diff --git a/NEWS b/NEWS index d11adc3..1b83c0f 100644 --- a/NEWS +++ b/NEWS @@ -30,10 +30,6 @@ 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 aa8d02d..11ed31c 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 long long weight)); +ppl_set_deterministic_timeout PPL_PROTO((unsigned 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 d0c5e6b..045765c 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 long long weight) try { +ppl_set_deterministic_timeout(unsigned weight) try { // In case a deterministic timeout was already set. reset_deterministic_timeout(); static timeout_exception e;