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