From 4f6c75f3510654c866c3a247dcea86e74bbd09a4 Mon Sep 17 00:00:00 2001
From: "Celina G. Val" <celinval@amazon.com>
Date: Mon, 25 Mar 2024 11:17:33 -0700
Subject: [PATCH] Update rfc/src/rfcs/0010-rust-ub-checks.md

---
 rfc/src/rfcs/0010-rust-ub-checks.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rfc/src/rfcs/0010-rust-ub-checks.md b/rfc/src/rfcs/0010-rust-ub-checks.md
index 1dff79cdd3ec..05654546dbb9 100644
--- a/rfc/src/rfcs/0010-rust-ub-checks.md
+++ b/rfc/src/rfcs/0010-rust-ub-checks.md
@@ -85,7 +85,7 @@ We propose to add the following attribute:
 
 ```rust
 #[kani::proof]
-#[kani::ignore(CHECK_NAMES)]
+#[kani::disable(CHECK_NAMES)]
 fn harness() {}
 ```