From a7286cac08c3501636cd163a79205a06d0eaa33c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 23:14:23 +0100
Subject: Make minor modifications

---
 src/SymbolicAstUtils.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/SymbolicAstUtils.ml b/src/SymbolicAstUtils.ml
index 6e9f10b0..e74b381f 100644
--- a/src/SymbolicAstUtils.ml
+++ b/src/SymbolicAstUtils.ml
@@ -9,9 +9,9 @@ open InterpreterUtils
 
 type ('c, 's) ended = EndedConcrete of 'c | EndedSymbolic of 's
 
-type ended_loan = (V.typed_value, V.msymbolic_value list) ended
+type ended_loan = (V.mvalue, V.msymbolic_value list) ended
 
-type ended_borrow = (V.typed_value, V.msymbolic_value) ended
+type ended_borrow = (V.mvalue, V.msymbolic_value) ended
 
 type ended_loan_or_borrow =
   | EndedLoan of ended_loan
-- 
cgit v1.2.3