diff --git a/tests/lean/run/states35.lean b/tests/bench/states35.lean
similarity index 100%
rename from tests/lean/run/states35.lean
rename to tests/bench/states35.lean