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 541a926cc..c60baea92 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
@@ -1096,6 +1096,10 @@ let interpret ?(options = default_options) (instr:('a, 'b) descr) (bef:'a stack)
   Script_interpreter.step tezos_context step_constants instr bef >>=??
   fun (stack, _) -> return stack
 
+let unparse_ty_michelson ty =
+  Script_ir_translator.unparse_ty dummy_environment.tezos_context ty >>=??
+  fun (n,_) -> return n
+
 type 'a interpret_res =
   | Succeed of 'a stack
   | Fail of Script_repr.expr