[PPL-devel] [GIT] ppl/ppl(master): Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter."
Roberto Bagnara
bagnara at cs.unipr.it
Sat Apr 7 19:34:05 CEST 2012
Module: ppl/ppl
Branch: master
Commit: 2bd121ac6dd6ab6fd9429117d2348c1ce5091b3a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd121ac6dd6ab6fd9429117d2348c1ce5091b3a
Author: Roberto Bagnara <bagnara at 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;
More information about the PPL-devel
mailing list