diff --git a/src/util/sexpr/format.cpp b/src/util/sexpr/format.cpp
index 3f71655be1..eb48c9fbe5 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