From 4e008cf8b701e6086713013137ccbaf52e464171 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 27 Mar 2022 14:57:33 -0700 Subject: [PATCH] chore: move to tests --- doc/examples/while.lean => tests/lean/run/constProp.lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/examples/while.lean => tests/lean/run/constProp.lean (100%) 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