summaryrefslogtreecommitdiff
path: root/src/Values.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Values.ml')
-rw-r--r--src/Values.ml2
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