base-hw: fix compile error with GCC 4.7

Fixes #438.
2012-10-30 13:41:33 +01:00 · 2012-10-30 13:41:33 +01:00 · dc205e6937
commit dc205e6937
parent 18d881cf0f
1 changed files with 1 additions and 1 deletions
--- a/base-hw/src/core/kernel.cc
+++ b/base-hw/src/core/kernel.cc
@ -258,7 +258,7 @@ namespace Kernel
 					Entry * find(unsigned long const object_id)
 					{
 						if (object_id == id()) return this;
-						Entry * const subtree = child(object_id > id());
+						Entry * const subtree = Avl_node<Entry>::child(object_id > id());
 						return subtree ? subtree->find(object_id) : 0;
 					}