Remove dangling file

This commit is contained in:
Benjamin Canou 2018-02-18 19:11:44 +01:00 committed by Benjamin Canou
parent e67400f92c
commit 8a1f4acfcd

View File

@ -1,10 +0,0 @@
(**************************************************************************)
(* *)
(* Copyright (c) 2014 - 2018. *)
(* Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)
(* *)
(* All rights reserved. No warranty, explicit or implicit, provided. *)
(* *)
(**************************************************************************)
include Tezos_protocol_environment.Make(Context)