From 1e55cfb94086ead629618e240c6c5de2e4381f05 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Tue, 2 Nov 2021 21:30:07 +0100 Subject: [PATCH] Proto/Elaboration: remove special case in logging --- src/proto_alpha/lib_protocol/script_ir_translator.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/proto_alpha/lib_protocol/script_ir_translator.ml b/src/proto_alpha/lib_protocol/script_ir_translator.ml index 296e8975e5b3..5bd4e66bf298 100644 --- a/src/proto_alpha/lib_protocol/script_ir_translator.ml +++ b/src/proto_alpha/lib_protocol/script_ir_translator.ml @@ -3056,8 +3056,7 @@ and[@coq_axiom_with_reason "gadt"] parse_instr : in let log_stack ctxt loc stack_ty aft = match (type_logger, script_instr) with - | (None, _) | (Some _, (Seq (-1, _) | Int _ | String _ | Bytes _)) -> - Result.return_unit + | (None, _) | (Some _, (Int _ | String _ | Bytes _)) -> Result.return_unit | (Some log, (Prim _ | Seq _)) -> (* Unparsing for logging done in an unlimited context as this is used only by the client and not the protocol *) -- GitLab