From 3e18cdfeec67465921411dccd3d9292086787f42 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 9 Jan 2014 11:56:58 -0800
Subject: [PATCH] feat(util/format): do not use colors by default

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/sexpr/format.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/util/sexpr/format.cpp b/src/util/sexpr/format.cpp
index eb48c9fbe..280c0ea9a 100644
--- a/src/util/sexpr/format.cpp
+++ b/src/util/sexpr/format.cpp
@@ -32,11 +32,7 @@
 #endif
 
 #ifndef LEAN_DEFAULT_PP_COLORS
-#ifdef LEAN_WINDOWS
 #define LEAN_DEFAULT_PP_COLORS false
-#else
-#define LEAN_DEFAULT_PP_COLORS true
-#endif
 #endif
 
 #ifndef LEAN_KEYWORD_HIGHLIGHT_COLOR