Update rfc/src/rfcs/0010-rust-ub-checks.md

model-checking · Mar 25, 2024 · 4f6c75f · 4f6c75f
1 parent 8677cd6
commit 4f6c75f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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() {}
 ```