diff options
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] |