From fe84d2120836786e61eaf0e8a1dde0495f5e570f Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Thu, 5 Mar 2020 10:27:34 -0600
Subject: [PATCH] Hack: don't log types in Michelson typecheck_code

---
 vendors/ligo-utils/tezos-protocol-alpha/script_ir_translator.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/vendors/ligo-utils/tezos-protocol-alpha/script_ir_translator.ml b/vendors/ligo-utils/tezos-protocol-alpha/script_ir_translator.ml
index df884eb02..a369758f4 100644
--- a/vendors/ligo-utils/tezos-protocol-alpha/script_ir_translator.ml
+++ b/vendors/ligo-utils/tezos-protocol-alpha/script_ir_translator.ml
@@ -5325,8 +5325,6 @@ let typecheck_code :
          })
       ctxt
       ~legacy
-      ~type_logger:(fun loc bef aft ->
-        type_map := (loc, (bef, aft)) :: !type_map)
       (arg_type_full, None)
       ret_type_full
       code_field