From e46018bfd813d6d00367263bc22a31cee143211d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 28 Mar 2019 18:21:10 -0700 Subject: [PATCH] chore(tests/lean): move test to `tests/lean/run` --- tests/lean/{ => run}/inliner_loop.lean | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tests/lean/{ => run}/inliner_loop.lean (100%) diff --git a/tests/lean/inliner_loop.lean b/tests/lean/run/inliner_loop.lean similarity index 100% rename from tests/lean/inliner_loop.lean rename to tests/lean/run/inliner_loop.lean