diff --git a/doc/examples/while.lean b/tests/lean/run/constProp.lean
similarity index 100%
rename from doc/examples/while.lean
rename to tests/lean/run/constProp.lean