From d6caa73c135156a37ac7358d9175b63c6b406182 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Mon, 26 Mar 2012 23:17:09 +0200 Subject: [PATCH] Fix a compile error reported by GCC 4.7.0 --- base/include/base/object_pool.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/include/base/object_pool.h b/base/include/base/object_pool.h index e7be8f5c70..77c4bbe4a8 100644 --- a/base/include/base/object_pool.h +++ b/base/include/base/object_pool.h @@ -67,7 +67,7 @@ namespace Genode { { if (obj_id == _obj_id()) return this; - Entry *obj = child(obj_id > _obj_id()); + Entry *obj = this->child(obj_id > _obj_id()); return obj ? obj->find_by_obj_id(obj_id) : 0; }