From cca136848b4310a02b78f2567d7c476df8c88025 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 12 Jan 2022 20:28:08 +0100
Subject: Update end_borrow to check if there are loans in borrowed values

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

(limited to 'src/ValuesUtils.ml')

diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml
index f4a10287..16c94800 100644
--- a/src/ValuesUtils.ml
+++ b/src/ValuesUtils.ml
@@ -8,6 +8,8 @@ let mk_unit_value : typed_value =
 
 let mk_typed_value (ty : ety) (value : value) : typed_value = { value; ty }
 
+let mk_bottom (ty : ety) : typed_value = { value = Bottom; ty }
+
 (** Box a value *)
 let mk_box_value (v : typed_value) : typed_value =
   let box_ty = mk_box_ty v.ty in
-- 
cgit v1.2.3