Update README.md

Co-authored-by: Ralf Jung <post@ralfj.de>

diff --git a/README.md b/README.md
index 72e69d45033b1e6d29de02a7f19b486062e36cfc..d742d7558c4dbda52d3b9e9908d6c4dc8799e350 100644 (file)
--- a/README.md
+++ b/README.md
@@ -252,7 +252,7 @@ environment variable:
   indicates a pointer that was cast from an integer, so Miri was unable to track
   this pointer.
 * `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
-  weak atomic operations. The default is `0.8` (so 4 out of 5 weak ops will fail.
+  `compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail).
   You can change it to any value between `0.0` and `1.0`, where `1.0` means it
   will always fail and `0.0` means it will never fail.