update docs

diff --git a/README.md b/README.md
index 46a46b3e7a80096e45585597453bd1c5eaa97154..1d97b61f43d56fdd19a02d1480cf6d61fa1af072 100644 (file)
--- a/README.md
+++ b/README.md
@@ -48,12 +48,12 @@ Now you can run your project in Miri:
 3. If you have a binary project, you can run it through Miri using `cargo
    +nightly miri run`.
 
-When running code via `cargo miri`, the `cargo-miri` feature is set.  You can
+When running code via `cargo miri`, the `miri` config flag is set.  You can
 use this to exclude test cases that will fail under Miri because they do things
 Miri does not support:
 
 ```rust
-#[cfg(not(feature = "cargo-miri"))]
+#[cfg(not(miri))]
 #[test]
 fn does_not_work_on_miri() {
     let x = 0u8;