From 31631c830357c6c46e2556135fa05c4abcb0b80e Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 1 Dec 2016 14:42:22 +0100
Subject: [PATCH] foc: remove unused function

---
 repos/base-foc/src/core/rpc_cap_factory.cc | 7 -------
 1 file changed, 7 deletions(-)

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;
-}