diff --git a/tests/lean/config.lean b/tests/lean/config.lean
index 06cc987ca8..a5c55627c0 100644
--- a/tests/lean/config.lean
+++ b/tests/lean/config.lean
@@ -1,4 +1,3 @@
 -- set_option default configuration for tests
--- TODO(Leo): uncomment
--- set_option pp.colors  false
--- set_option pp.unicode true
+set_option pp.colors  false
+set_option pp.unicode true