From 1c7cdb02dead311058ffac792bab34e780bf39d7 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Tue, 30 Oct 2018 09:14:18 -0700 Subject: [PATCH] Logging: fix some color printing Reviewed By: da319 Differential Revision: D12839689 fbshipit-source-id: 96e1a3e9a --- infer/src/base/Logging.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/base/Logging.ml b/infer/src/base/Logging.ml index e6dba8359..62e6701f5 100644 --- a/infer/src/base/Logging.ml +++ b/infer/src/base/Logging.ml @@ -371,7 +371,7 @@ let pp_with_html_color color pp fmt x = let pp_maybe_with_color color pp fmt x = - if Config.write_html then pp fmt x else pp_with_html_color color pp fmt x + if Config.write_html then pp_with_html_color color pp fmt x else pp fmt x (** Execute the delayed print actions *)