diff options
Diffstat (limited to 'src/Values.ml')
| -rw-r--r-- | src/Values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index bcb08dc8..e8d4560e 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -422,7 +422,7 @@ and aborrow_content = > x -> shared_loan {l0} (U32 0) > px -> ⊥ - > abs0 { a_shared_bororw l0 } + > abs0 { a_shared_borrow l0 } ``` *) | AIgnoredMutBorrow of BorrowId.id option * typed_avalue |