From 1e77bd82c8a254da59f1bbbd290d6fe9775c50d3 Mon Sep 17 00:00:00 2001 From: Tom Jack Date: Thu, 5 Mar 2020 10:27:25 -0600 Subject: [PATCH] Revert "Use unlimited gas for typechecking contract" This reverts commit 97aad1c5ea65375d464a278495cb3dc696c28c70. --- vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml index 06b740983..a8f5aa468 100644 --- a/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml +++ b/vendors/ligo-utils/proto-alpha-utils/x_memory_proto_alpha.ml @@ -1111,8 +1111,7 @@ type typecheck_res = let typecheck_contract contract = let contract' = Tezos_micheline.Micheline.strip_locations contract in - let ctxt = Raw_context.set_gas_unlimited dummy_environment.tezos_context in - Script_ir_translator.typecheck_code ctxt contract' >>= fun x -> + Script_ir_translator.typecheck_code dummy_environment.tezos_context contract' >>= fun x -> match x with | Ok _res -> return Type_checked | Error (Script_tc_errors.Ill_formed_type (Some "parameter", _code, _)::_) -> return Err_parameter