base: fix bug in Allocator_guard::free

ref #589
This commit is contained in:
Martin Stein 2013-09-18 12:46:55 +02:00 committed by Norman Feske
parent a596fa56a6
commit 00f16be122

View File

@ -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);
}
/**