From a93266548fdc6bfbb8180d780bc4739e1081b707 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 19 May 2015 14:07:16 +0200 Subject: [PATCH] base: remove unused enum from object pool Ref #1443 --- repos/base/include/base/object_pool.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/repos/base/include/base/object_pool.h b/repos/base/include/base/object_pool.h index 7df0d5a41..8a8088c78 100644 --- a/repos/base/include/base/object_pool.h +++ b/repos/base/include/base/object_pool.h @@ -86,12 +86,10 @@ class Genode::Object_pool bool is_dead(bool set_dead = false) { return (set_dead ? (_dead = true) : _dead); } - bool is_ref_zero() { return _ref <= 0; } + bool is_ref_zero() { return _ref <= 0; } public: - enum { OBJ_ID_INVALID = 0 }; - /** * Constructors */