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