Skip to content

Commit d41e5c1

Browse files
authored
Update intrinsics.rs
Silly brain... 🤦‍♀️
1 parent a38c161 commit d41e5c1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

library/core/src/intrinsics.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -3720,7 +3720,7 @@ mod verify {
37203720
fn check_copy_nonoverlapping() {
37213721
let mut generator = PointerGenerator::<char, 10>::new();
37223722
let src = generator.generate_ptr();
3723-
// Destination may or may not have the same precedence as src.
3723+
// Destination may or may not have the same provenance as src.
37243724
let dst = if kani::any() {
37253725
generator.generate_ptr();
37263726
} else {

0 commit comments

Comments
 (0)