Shell/Mempool: minor clean up, remove unneeded function

This commit is contained in:
Raphaël Proust 2018-11-16 10:28:48 +08:00 committed by MBourgoin
parent e7a967376c
commit 1420715ab9
No known key found for this signature in database
GPG Key ID: 4B3F7008ABB5B2D0

View File

@ -269,9 +269,6 @@ module Make(Static: STATIC)(Proto: Registered_protocol.T)
let add t parsed_op result = let add t parsed_op result =
Operation_hash.Table.replace t parsed_op.hash 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 = let find_opt t parsed_op =
Operation_hash.Table.find_opt t parsed_op.hash Operation_hash.Table.find_opt t parsed_op.hash