Update intrinsics.rs

Silly brain... 🤦‍♀️
celinval · Sep 20, 2024 · d41e5c1 · d41e5c1
1 parent a38c161
commit d41e5c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 {