From 441149880c74fa7afa28a501ccc0359d0d6d199c Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Wed, 28 Mar 2018 20:24:50 +0200 Subject: [PATCH] Environemt: add equality for Z.t --- src/lib_protocol_environment/tezos_protocol_environment.ml | 1 + src/lib_protocol_environment/tezos_protocol_environment.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/lib_protocol_environment/tezos_protocol_environment.ml b/src/lib_protocol_environment/tezos_protocol_environment.ml index 115eef828..89107729b 100644 --- a/src/lib_protocol_environment/tezos_protocol_environment.ml +++ b/src/lib_protocol_environment/tezos_protocol_environment.ml @@ -141,6 +141,7 @@ module Make (Context : CONTEXT) = struct and type RPC_service.meth = RPC_service.meth and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t and type Error_monad.shell_error = Error_monad.error + and type Z.t = Z.t type error += Ecoproto_error of Error_monad.error val wrap_error : 'a Error_monad.tzresult -> 'a tzresult diff --git a/src/lib_protocol_environment/tezos_protocol_environment.mli b/src/lib_protocol_environment/tezos_protocol_environment.mli index e11bf40dd..8c9fc6710 100644 --- a/src/lib_protocol_environment/tezos_protocol_environment.mli +++ b/src/lib_protocol_environment/tezos_protocol_environment.mli @@ -134,6 +134,7 @@ module Make (Context : CONTEXT) : sig and type RPC_service.meth = RPC_service.meth and type (+'m,'pr,'p,'q,'i,'o) RPC_service.t = ('m,'pr,'p,'q,'i,'o) RPC_service.t and type Error_monad.shell_error = Error_monad.error + and type Z.t = Z.t type error += Ecoproto_error of Error_monad.error val wrap_error : 'a Error_monad.tzresult -> 'a tzresult