make cfg(miri) greppable

diff --git a/README.md b/README.md
index ab4d4c02db1edf5a2cd16906bfc812646b9056f2..e20c53b68dc5ef862145334552324b73af580186 100644 (file)
--- a/README.md
+++ b/README.md
@@ -94,9 +94,9 @@ Linux program, you can do `cargo miri run --target x86_64-unknown-linux-gnu`.
 This is particularly useful if you are using Windows, as the Linux target is
 much better supported than Windows targets.
 
-When compiling code via `cargo miri`, the `miri` config flag is set.  You can
-use this to ignore test cases that fail under Miri because they do things Miri
-does not support:
+When compiling code via `cargo miri`, the `cfg(miri)` config flag is set.  You
+can use this to ignore test cases that fail under Miri because they do things
+Miri does not support:
 
 ```rust
 #[test]