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() {}
 ```