diff --git a/src/tools/miri/tests/pass/ints.rs b/src/tools/miri/tests/pass/integers.rs
similarity index 100%
rename from src/tools/miri/tests/pass/ints.rs
rename to src/tools/miri/tests/pass/integers.rs