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