From b83875301a72cff9724c19eb5701f3c78de2d84f Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 2 Feb 2021 13:37:56 +0100
Subject: [PATCH] chore: move test without output

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

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