diff --git a/tests/run-pass/concurrency/simple.rs b/tests/run-pass/concurrency/simple.rs
index c659cfbc3fd..40d8802472a 100644
--- a/tests/run-pass/concurrency/simple.rs
+++ b/tests/run-pass/concurrency/simple.rs
@@ -1,5 +1,5 @@
 // ignore-windows: Concurrency on Windows is not supported yet.
-// compile-flags: -Zmiri-check-number-validity
+// compile-flags: -Zmiri-strict-provenance
 
 use std::thread;