From b353ba17882f3b03c3ae4a0ebe8bd6318a154c1c Mon Sep 17 00:00:00 2001
From: Jon Purdy <evincarofautumn@gmail.com>
Date: Fri, 10 Mar 2017 16:05:18 -0800
Subject: [PATCH] [docs] Remove dead mempool APIs.

---
 docs/sources/mono-api-jitinternal.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/sources/mono-api-jitinternal.html b/docs/sources/mono-api-jitinternal.html
index 9846b5b92f1..1feff043f65 100644
--- a/docs/sources/mono-api-jitinternal.html
+++ b/docs/sources/mono-api-jitinternal.html
@@ -62,7 +62,6 @@
 <h4><a name="api:mono_mempool_destroy">mono_mempool_destroy</a></h4>
 <h4><a name="api:mono_mempool_alloc">mono_mempool_alloc</a></h4>
 <h4><a name="api:mono_mempool_alloc0">mono_mempool_alloc0</a></h4>
-<h4><a name="api:mono_mempool_empty">mono_mempool_empty</a></h4>
 <h4><a name="api:mono_mempool_invalidate">mono_mempool_invalidate</a></h4>
 <h4><a name="api:mono_mempool_stats">mono_mempool_stats</a></h4>
 <h4><a name="api:mono_mempool_contains_addr">mono_mempool_contains_addr</a></h4> 
-- 
2.25.1