From 00f16be122ba145c1d6975a22274878eb5bbcbb0 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 18 Sep 2013 12:46:55 +0200 Subject: [PATCH] base: fix bug in Allocator_guard::free ref #589 --- base/include/base/allocator_guard.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/include/base/allocator_guard.h b/base/include/base/allocator_guard.h index a0fcbd3419..9a1f1efc96 100644 --- a/base/include/base/allocator_guard.h +++ b/base/include/base/allocator_guard.h @@ -86,7 +86,7 @@ namespace Genode { void free(void *addr, size_t size) { _allocator->free(addr, size); - _consumed -= size - _allocator->overhead(size); + _consumed -= size + _allocator->overhead(size); } /**