From ff9b562e66ac4a74fdbbc1b9e27785f4bd8ff1e0 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 11 Sep 2020 14:40:21 -0700
Subject: [PATCH] chore: move test

---
 tests/lean/{run => }/emptyc.lean | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename tests/lean/{run => }/emptyc.lean (100%)

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