From ea48f1f1ccbe522d1ac815f30f578efc046c10c5 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 24 May 2017 15:04:54 +0200
Subject: [PATCH] core: remove warning about possibly leaking resources

Too many false positives...

Issue #2398
---
 repos/base/src/core/include/account.h | 2 --
 1 file changed, 2 deletions(-)

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