From 71a0f83143acadfea2ebac7efd31debd77468270 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 26 Dec 2013 09:54:10 -0800 Subject: [PATCH] feat(util/sexpr/format): turn off colors on Windows Signed-off-by: Leonardo de Moura --- src/util/sexpr/format.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/util/sexpr/format.cpp b/src/util/sexpr/format.cpp index 3f71655be..eb48c9fbe 100644 --- a/src/util/sexpr/format.cpp +++ b/src/util/sexpr/format.cpp @@ -32,8 +32,12 @@ #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 #define LEAN_KEYWORD_HIGHLIGHT_COLOR format::ORANGE