diff options
| -rw-r--r-- | src/tools/miri/tests/pass/integers.rs (renamed from src/tools/miri/tests/pass/ints.rs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/ints.rs b/src/tools/miri/tests/pass/integers.rs
index c04c6921f3c..c04c6921f3c 100644
--- a/src/tools/miri/tests/pass/ints.rs
+++ b/src/tools/miri/tests/pass/integers.rs
|