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)