base: remove unused enum from object pool

Ref #1443
2015-05-19 14:07:16 +02:00 · 2015-05-19 14:07:16 +02:00 · a93266548f
parent 217f62b89d
commit a93266548f
1 changed files with 1 additions and 3 deletions
--- 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
 				 */