update

[l4.git] / l4 / pkg / l4re / util / include / name_space_svr

diff --git a/l4/pkg/l4re/util/include/name_space_svr b/l4/pkg/l4re/util/include/name_space_svr
index fc99e5f066041d08ebed7c215f3d56e6763242ce..f8eb13e2d796d8a5efc762526bc6856a737d33cd 100644 (file)
--- a/l4/pkg/l4re/util/include/name_space_svr
+++ b/l4/pkg/l4re/util/include/name_space_svr
@@ -217,7 +217,7 @@ public:
   Entry *find(Name const &name) const  { return _tree.find_node(name); }
   Entry *remove(Name const &name) { return _tree.remove(name); }
   Entry *find_iter(Name const &name) const;
-  int insert(Entry *e)  { return _tree.insert(e).second; }
+  bool insert(Entry *e)  { return _tree.insert(e).second; }
 
   void dump(bool rec = false, int indent = 0) const;