diff --git a/repos/base/include/base/object_pool.h b/repos/base/include/base/object_pool.h
index 7df0d5a419..8a8088c789 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
 				 */