diff --git a/test/lean/bitfield.lean.expected b/test/lean/bitfield.expected.lean
similarity index 100%
rename from test/lean/bitfield.lean.expected
rename to test/lean/bitfield.expected.lean