diff --git a/library/core/src/intrinsics.rs b/library/core/src/intrinsics.rs
index cc49acaeb3295..9722378f2d67c 100644
--- a/library/core/src/intrinsics.rs
+++ b/library/core/src/intrinsics.rs
@@ -3720,7 +3720,7 @@ mod verify {
     fn check_copy_nonoverlapping() {
         let mut generator = PointerGenerator::<char, 10>::new();
         let src = generator.generate_ptr();
-        // Destination may or may not have the same precedence as src.
+        // Destination may or may not have the same provenance as src.
         let dst = if kani::any() {
             generator.generate_ptr();
         } else {