diff --git a/tests/lean/run/format_to_buffer.lean b/tests/lean/format_to_buffer.lean
similarity index 100%
rename from tests/lean/run/format_to_buffer.lean
rename to tests/lean/format_to_buffer.lean
diff --git a/tests/lean/run/format_to_buffer.lean.expected.out b/tests/lean/format_to_buffer.lean.expected.out
similarity index 100%
rename from tests/lean/run/format_to_buffer.lean.expected.out
rename to tests/lean/format_to_buffer.lean.expected.out
diff --git a/tests/lean/run/io_process_echo.lean b/tests/lean/io_process_echo.lean
similarity index 100%
rename from tests/lean/run/io_process_echo.lean
rename to tests/lean/io_process_echo.lean
diff --git a/tests/lean/run/io_process_echo.lean.expected.out b/tests/lean/io_process_echo.lean.expected.out
similarity index 100%
rename from tests/lean/run/io_process_echo.lean.expected.out
rename to tests/lean/io_process_echo.lean.expected.out