From 9f96cf527df1d496c1f4e239d73e74a8f37fec73 Mon Sep 17 00:00:00 2001
From: Qinyuan Wu <qinyuanw@andrew.cmu.edu>
Date: Fri, 13 Sep 2024 09:09:50 -0700
Subject: [PATCH] make harness function name unique

---
 library/core/src/ptr/non_null.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/core/src/ptr/non_null.rs b/library/core/src/ptr/non_null.rs
index 04ded461a893d..4895064ef316e 100644
--- a/library/core/src/ptr/non_null.rs
+++ b/library/core/src/ptr/non_null.rs
@@ -1783,7 +1783,7 @@ mod verify {
 
     // pub const unsafe fn new_unchecked(ptr: *mut T) -> Self
     #[kani::proof_for_contract(NonNull::new_unchecked)]
-    pub fn check_new_unchecked() {
+    pub fn non_null_check_new_unchecked() {
         let mut x : i32 = kani::any();
         let xptr = &mut x;
         unsafe {