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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Jul 13 22:16:04 2009 +0200

Removed forgotten WEIGHT_ADD.

---

src/globals.inlines.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index fd1f749..bcba424 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -58,7 +58,6 @@ maybe_abandon() { if (Implementation::in_assert) return; #endif - WEIGHT_ADD(1); if (Weightwatch_Traits::check_function) Weightwatch_Traits::check_function(); if (const Throwable* p = abandon_expensive_computations)