From c0f230dc6c331e9eb120900e8c31a03e1f5ab476 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 18 Jan 2022 23:03:55 +0100
Subject: Remove ty_has_regions and use ty_has_borrows instead

---
 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 e00e7dcf..ca437593 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -81,6 +81,8 @@ let mk_typed_value_from_symbolic_value (svalue : V.symbolic_value) :
     
     Checks if the projector will actually project some regions. If not,
     returns [AIgnored] (`_`).
+    
+    TODO: update to handle 'static
  *)
 let mk_aproj_loans_value_from_symbolic_value (regions : T.RegionId.Set.t)
     (svalue : V.symbolic_value) : V.typed_avalue =
-- 
cgit v1.2.3