From bcede6925faa8626218eb12deb033a4e832be10d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 19 Jan 2014 16:31:35 -0800
Subject: [PATCH] fix(tests/lean): add expected result file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lean/matrix.lean.expected.out | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/lean/matrix.lean.expected.out

diff --git a/tests/lean/matrix.lean.expected.out b/tests/lean/matrix.lean.expected.out
new file mode 100644
index 000000000..73a5547b7
--- /dev/null
+++ b/tests/lean/matrix.lean.expected.out
@@ -0,0 +1,11 @@
+  Set: pp::colors
+  Set: pp::unicode
+  Assumed: matrix
+  Assumed: mul
+  Assumed: mul_assoc
+  Assumed: m1
+  Assumed: m2
+  Assumed: m3
+  Assumed: m4
+before simp: m1 * (m2 * (m3 * m4))
+after simp:  m1 * m2 * m3 * m4