From 12752a3e62a53c56753cb58f044cd6d277f19734 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 15:48:38 +0100
Subject: Make minor improvements to printing

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

(limited to 'src/InterpreterUtils.ml')

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 9f6cf495..f0e3d420 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -17,6 +17,8 @@ let eval_ctx_to_string = Print.Contexts.eval_ctx_to_string
 
 let ety_to_string = Print.EvalCtxCfimAst.ety_to_string
 
+let rty_to_string = Print.EvalCtxCfimAst.rty_to_string
+
 let typed_value_to_string = Print.EvalCtxCfimAst.typed_value_to_string
 
 let place_to_string = Print.EvalCtxCfimAst.place_to_string
-- 
cgit v1.2.3