From efa855b4977e320f9025a57e35e902b3b376425f Mon Sep 17 00:00:00 2001
From: Leonid Yuriev <leo@yuriev.ru>
Date: Mon, 21 Oct 2019 10:00:28 +0300
Subject: [PATCH] mdbx: drop unused dpl_mark4removal().

Change-Id: I23dcbbad8b0fc4691a755125c2e58fa9b529423b
---
 src/elements/core.c | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/src/elements/core.c b/src/elements/core.c
index 408c52f3..2207ca94 100644
--- a/src/elements/core.c
+++ b/src/elements/core.c
@@ -1604,16 +1604,6 @@ static __hot MDBX_page *mdbx_dpl_remove(MDBX_DPL dl, pgno_t prno) {
   return mp;
 }
 
-static __inline bool mdbx_dpl_mark4removal(MDBX_DPL dl, MDBX_page *mp) {
-  const unsigned i = mdbx_dpl_search(dl, mp->mp_pgno);
-  if (i <= dl->length && dl[i].pgno == mp->mp_pgno) {
-    assert((int)i > 0 && dl[i].ptr == mp);
-    dl[i].ptr = nullptr /* mark for deletion */;
-    return true;
-  }
-  return false;
-}
-
 static __inline int __must_check_result mdbx_dpl_append(MDBX_DPL dl,
                                                         pgno_t pgno,
                                                         MDBX_page *page) {