diff --git a/tests/bench/omega/oemga1.lean b/tests/bench/omega/omega1.lean
similarity index 100%
rename from tests/bench/omega/oemga1.lean
rename to tests/bench/omega/omega1.lean