diff --git a/gen/apply.lean b/script/apply.lean
similarity index 100%
rename from gen/apply.lean
rename to script/apply.lean