From 407474a35b7dd80116c8d358873d25e1a9b49048 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 16:18:40 +0100
Subject: Fix some bugs

---
 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 f0e3d420..458c11b4 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -21,6 +21,8 @@ let rty_to_string = Print.EvalCtxCfimAst.rty_to_string
 
 let typed_value_to_string = Print.EvalCtxCfimAst.typed_value_to_string
 
+let typed_avalue_to_string = Print.EvalCtxCfimAst.typed_avalue_to_string
+
 let place_to_string = Print.EvalCtxCfimAst.place_to_string
 
 let operand_to_string = Print.EvalCtxCfimAst.operand_to_string
-- 
cgit v1.2.3