From 8a1f4acfcd67ff7b44827b2c292c14954398a0fe Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Sun, 18 Feb 2018 19:11:44 +0100 Subject: [PATCH] Remove dangling file --- .../tezos_protocol_environment_node.ml | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 src/lib_protocol_environment/tezos_protocol_environment_node.ml diff --git a/src/lib_protocol_environment/tezos_protocol_environment_node.ml b/src/lib_protocol_environment/tezos_protocol_environment_node.ml deleted file mode 100644 index 2f253d933..000000000 --- a/src/lib_protocol_environment/tezos_protocol_environment_node.ml +++ /dev/null @@ -1,10 +0,0 @@ -(**************************************************************************) -(* *) -(* Copyright (c) 2014 - 2018. *) -(* Dynamic Ledger Solutions, Inc. *) -(* *) -(* All rights reserved. No warranty, explicit or implicit, provided. *) -(* *) -(**************************************************************************) - -include Tezos_protocol_environment.Make(Context)