From 4f2cd6d2c7ccae02c50cbb82a6d87a0a353f7255 Mon Sep 17 00:00:00 2001
From: Jeremy Avigad <avigad@cmu.edu>
Date: Mon, 29 May 2017 15:42:30 -0400
Subject: [PATCH] fix(tests/lean/run/simp_options): move test

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

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