From a03373dc9e0449575771f920e419f5cd40420fb0 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 8 Feb 2024 14:12:32 +0100
Subject: Make minor updates

---
 compiler/InterpreterUtils.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'compiler/InterpreterUtils.ml')

diff --git a/compiler/InterpreterUtils.ml b/compiler/InterpreterUtils.ml
index 667c5080..243cf67b 100644
--- a/compiler/InterpreterUtils.ml
+++ b/compiler/InterpreterUtils.ml
@@ -43,6 +43,8 @@ let fun_sig_to_string = Print.EvalCtx.fun_sig_to_string
 let inst_fun_sig_to_string = Print.EvalCtx.inst_fun_sig_to_string
 let ty_to_string = Print.EvalCtx.ty_to_string
 let generic_args_to_string = Print.EvalCtx.generic_args_to_string
+let trait_ref_to_string = Print.EvalCtx.trait_ref_to_string
+let trait_decl_ref_to_string = Print.EvalCtx.trait_decl_ref_to_string
 
 let fun_id_or_trait_method_ref_to_string =
   Print.EvalCtx.fun_id_or_trait_method_ref_to_string
-- 
cgit v1.2.3