diff options
| author | Son Ho | 2022-01-03 11:56:27 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-03 11:56:27 +0100 |
| commit | 5aa4607a5109939976cf692806789e003adb85e0 (patch) | |
| tree | 2b86747eba685d1137eca243d74170685d5ccc17 /src/Values.ml | |
| parent | d2eee3394425ad95f8085b4eeb1ec4267800f9fd (diff) | |
Replace AProjSharedLoan with AIgnoredSharedLoan
Diffstat (limited to '')
| -rw-r--r-- | src/Values.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Values.ml b/src/Values.ml index 58934e03..37ac2c84 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -337,9 +337,8 @@ and aloan_content = *) | AEndedIgnoredMutLoan of { given_back : typed_avalue; child : typed_avalue } (** Similar to [AEndedMutLoan], for ignored loans *) - | AProjSharedLoan of (abstract_shared_borrows[@opaque]) + | AIgnoredSharedLoan of typed_avalue (** An ignored shared loan. - TODO: rename and change fields to: typed_avalue Example: ======== |