diff --git a/repos/base-foc/src/core/rpc_cap_factory.cc b/repos/base-foc/src/core/rpc_cap_factory.cc
index 4ee0040e87..3e5902514a 100644
--- a/repos/base-foc/src/core/rpc_cap_factory.cc
+++ b/repos/base-foc/src/core/rpc_cap_factory.cc
@@ -234,10 +234,3 @@ void Genode::Capability_map::remove(Genode::Cap_index* i)
 		cap_idx_alloc()->free(i, 1);
 	}
 }
-
-
-Genode::Cap_index_allocator* cap_idx_alloc()
-{
-	static Genode::Cap_index_allocator_tpl<Core_cap_index, 20*1024> _alloc;
-	return &_alloc;
-}