michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(util/format): do not use colors by default

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-01-09 11:56:58 -08:00
parent 6fe362ef07
commit 3e18cdfeec
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/sexpr/format.cpp
View file

@ -32,11 +32,7 @@
#endif #endif
#ifndef LEAN_DEFAULT_PP_COLORS #ifndef LEAN_DEFAULT_PP_COLORS
#ifdef LEAN_WINDOWS
#define LEAN_DEFAULT_PP_COLORS false #define LEAN_DEFAULT_PP_COLORS false
#else
#define LEAN_DEFAULT_PP_COLORS true
#endif
#endif #endif
#ifndef LEAN_KEYWORD_HIGHLIGHT_COLOR #ifndef LEAN_KEYWORD_HIGHLIGHT_COLOR