diff --git a/tests/run-pass/miri-issue-133.rs b/tests/run-pass/issue-miri-133.rs
similarity index 100%
rename from tests/run-pass/miri-issue-133.rs
rename to tests/run-pass/issue-miri-133.rs