From 35f2a61b4ddc24baad8e2aa5df0770a468fcc713 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 23 Mar 2015 11:35:10 -0700
Subject: [PATCH] fix(tests/lean): add missing file

---
 tests/lean/config.hlean              | 4 ++++
 tests/lean/config.hlean.expected.out | 0
 2 files changed, 4 insertions(+)
 create mode 100644 tests/lean/config.hlean
 create mode 100644 tests/lean/config.hlean.expected.out

diff --git a/tests/lean/config.hlean b/tests/lean/config.hlean
new file mode 100644
index 000000000..e900c86a6
--- /dev/null
+++ b/tests/lean/config.hlean
@@ -0,0 +1,4 @@
+-- set_option default configuration for tests
+prelude
+set_option pp.colors  false
+set_option pp.unicode true
diff --git a/tests/lean/config.hlean.expected.out b/tests/lean/config.hlean.expected.out
new file mode 100644
index 000000000..e69de29bb