Module: ppl/ppl Branch: master Commit: 1c16cf1e891f14f71c5c1d935c9df0e145bdcce1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f1...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 7 18:39:22 2011 +0100
Cyclic dependency avoided.
---
src/globals.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 8fd6be5..f44e435 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -67,7 +67,7 @@ maybe_abandon() { inline dimension_type compute_capacity(const dimension_type requested_size, const dimension_type maximum_size) { - PPL_ASSERT(requested_size <= maximum_size); + assert(requested_size <= maximum_size); // Speculation factor 2. return (requested_size < maximum_size / 2) ? 2*(requested_size + 1)