typo
authorRalf Jung <post@ralfj.de>
Wed, 8 Aug 2018 08:14:08 +0000 (10:14 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 8 Aug 2018 08:14:08 +0000 (10:14 +0200)
personal/_posts/2018-08-07-stacked-borrows.md

index fd2880a5c8b072e5687b8fac1390c840a6c5b39e..10b2e44e5402126f90aaaf33893bfeb484f01744 100644 (file)
@@ -229,7 +229,7 @@ With this additional step, it is now easy to argue that `demo4` above is UB when
 After using `x`, we know it is active.
 Next we use and activate `y`, which has to pop `Uniq(x)` as they have distinct tags.
 Finally, we use `x` again even though it is no longer in the stack, triggering UB.
 After using `x`, we know it is active.
 Next we use and activate `y`, which has to pop `Uniq(x)` as they have distinct tags.
 Finally, we use `x` again even though it is no longer in the stack, triggering UB.
-(A `Uniq` is only veer pushed when it is created, so it is never in the stack more than once.)
+(A `Uniq` is only ever pushed when it is created, so it is never in the stack more than once.)
 
 ### 4.2 Barriers
 
 
 ### 4.2 Barriers