From 8f31cff99bca2c5dd7fcd425de1ff1cb8e4e150a Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 9 Jul 2017 08:03:21 +0200
Subject: [PATCH] chore(tests): move 1723 test to the expected output tests

---
 tests/lean/{run => }/1723.lean    | 0
 tests/lean/1723.lean.expected.out | 6 ++++++
 2 files changed, 6 insertions(+)
 rename tests/lean/{run => }/1723.lean (100%)
 create mode 100644 tests/lean/1723.lean.expected.out

diff --git a/tests/lean/run/1723.lean b/tests/lean/1723.lean
similarity index 100%
rename from tests/lean/run/1723.lean
rename to tests/lean/1723.lean
diff --git a/tests/lean/1723.lean.expected.out b/tests/lean/1723.lean.expected.out
new file mode 100644
index 0000000000..d1121d976d
--- /dev/null
+++ b/tests/lean/1723.lean.expected.out
@@ -0,0 +1,6 @@
+-[1+ 0]
+-1
+-[1+ 0]
+-1
+-[1+ 1]
+-2