From ed9122c7fc73d77aff5768b27c7f432e89a31d96 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 13 Jan 2022 23:07:03 +0100
Subject: Make good progress on end_proj_loans_symbolic

---
 src/Values.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index 9d25025e..50bec658 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -188,6 +188,7 @@ type aproj =
           a shared loan: under a shared loan, we use [abstract_shared_borrow]. *)
   | AEndedProjLoans
   | AEndedProjBorrows
+(* TODO: remove AEndedProjBorrows? *)
 [@@deriving show]
 
 type region = RegionVarId.id Types.region [@@deriving show]
-- 
cgit v1.2.3