diff --git a/repos/base/src/core/include/account.h b/repos/base/src/core/include/account.h index 3e0c68b6d..e3d568bb4 100644 --- a/repos/base/src/core/include/account.h +++ b/repos/base/src/core/include/account.h @@ -87,8 +87,6 @@ class Genode::Account if (_quota_guard.used().value > _initial_used.value) { UNIT const dangling { _quota_guard.used().value - _initial_used.value }; - warning("destroying account with allocated (possibly leaking?) " - "resources (", dangling, " ", UNIT::name(),")"); _quota_guard.replenish(dangling); }