From 1420715ab9188b98a259e542da2b9b56a3aeb026 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Fri, 16 Nov 2018 10:28:48 +0800 Subject: [PATCH] Shell/Mempool: minor clean up, remove unneeded function --- src/lib_shell/mempool_worker.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/lib_shell/mempool_worker.ml b/src/lib_shell/mempool_worker.ml index 9cc1b8997..33fe658e2 100644 --- a/src/lib_shell/mempool_worker.ml +++ b/src/lib_shell/mempool_worker.ml @@ -269,9 +269,6 @@ module Make(Static: STATIC)(Proto: Registered_protocol.T) let add t parsed_op result = Operation_hash.Table.replace t parsed_op.hash result - let mem t parsed_op = - Operation_hash.Table.mem t parsed_op.hash - let find_opt t parsed_op = Operation_hash.Table.find_opt t parsed_op.hash