From d72517e673c0a5fc3169fab62a092536c1cc5b3b Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 26 Feb 2018 17:13:34 +0100 Subject: [PATCH] Remove replenish error message from quota guard --- repos/base/include/base/quota_guard.h | 3 --- 1 file changed, 3 deletions(-) diff --git a/repos/base/include/base/quota_guard.h b/repos/base/include/base/quota_guard.h index 90963f9764..edcf526aec 100644 --- a/repos/base/include/base/quota_guard.h +++ b/repos/base/include/base/quota_guard.h @@ -118,9 +118,6 @@ class Genode::Quota_guard_untyped { bool const underflow = (amount > _used); - if (underflow) - error("attempt to replenish more quota than withdrawn"); - /* clamp lower bound of used value to zero */ _used = underflow ? 0 : _used - amount; }