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)