From 0c51f7a7ca94154f88a7ee28e877e806993b1d7b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Fri, 26 Jan 2018 13:19:16 +0100 Subject: [PATCH] Proto: Fix warning --- src/lib_embedded_protocol_alpha/src/script_interpreter.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib_embedded_protocol_alpha/src/script_interpreter.ml b/src/lib_embedded_protocol_alpha/src/script_interpreter.ml index 99254ec63..5ceaa958a 100644 --- a/src/lib_embedded_protocol_alpha/src/script_interpreter.ml +++ b/src/lib_embedded_protocol_alpha/src/script_interpreter.ml @@ -645,7 +645,7 @@ let rec interp | None -> (* we see non scripted contracts as (unit, unit) contract *) Lwt.return (ty_eq tp Unit_t |> - record_trace (Invalid_contract (loc, destination))) >>=? fun (Eq _) -> + record_trace (Invalid_contract (loc, destination))) >>=? fun Eq -> return (ctxt, gas, origination) | Some script -> let p = unparse_data tp p in