From 6000270d35098319f9f0cd62e5da9fcb273d5bdd Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 10 Jul 2014 23:32:23 +0100 Subject: [PATCH] chore(tests/lean): reactivate config.lean Signed-off-by: Leonardo de Moura --- tests/lean/config.lean | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tests/lean/config.lean b/tests/lean/config.lean index 06cc987ca8..a5c55627c0 100644 --- a/tests/lean/config.lean +++ b/tests/lean/config.lean @@ -1,4 +1,3 @@ -- set_option default configuration for tests --- TODO(Leo): uncomment --- set_option pp.colors false --- set_option pp.unicode true +set_option pp.colors false +set_option pp.unicode true