From 9bec16b6a2dd2e046d57c5f9e2ae027b06279173 Mon Sep 17 00:00:00 2001 From: Pierre Chambart Date: Wed, 18 Jul 2018 18:44:47 +0200 Subject: [PATCH] Alpha: typecheck_data shouldn't allow big maps --- src/proto_alpha/lib_protocol/src/script_ir_translator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml index 27c94f55f..4514a54cb 100644 --- a/src/proto_alpha/lib_protocol/src/script_ir_translator.ml +++ b/src/proto_alpha/lib_protocol/src/script_ir_translator.ml @@ -2892,7 +2892,7 @@ let typecheck_data = fun ?type_logger ctxt (data, exp_ty) -> trace (Ill_formed_type (None, exp_ty, 0)) - (Lwt.return @@ parse_ty ctxt ~allow_big_map:true ~allow_operation:false (root exp_ty)) + (Lwt.return @@ parse_ty ctxt ~allow_big_map:false ~allow_operation:false (root exp_ty)) >>=? fun (Ex_ty exp_ty, ctxt) -> trace_eval (fun () ->