diff options
author | Son Ho | 2022-01-13 23:07:03 +0100 |
---|---|---|
committer | Son Ho | 2022-01-13 23:07:03 +0100 |
commit | ed9122c7fc73d77aff5768b27c7f432e89a31d96 (patch) | |
tree | 3a1b10581b760775753df5da2fa4f207aa5dd9f4 /src/Values.ml | |
parent | bdd80437c084d4b78b439bf6a7b7b138920f0003 (diff) |
Make good progress on end_proj_loans_symbolic
Diffstat (limited to '')
-rw-r--r-- | src/Values.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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] |