From f6ba0da8e008b5bf5fa710eb087e0002e795e29f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 18 Oct 2016 18:56:23 +0200
Subject: Remove unnecessary usage of isatty.

---
 cparser/Cerrors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml
index 804d3127..a38cceee 100644
--- a/cparser/Cerrors.ml
+++ b/cparser/Cerrors.ml
@@ -200,7 +200,7 @@ let classify_warning w =
     SuppressedMsg,None
 
 let cprintf fmt c =
-  if  Unix.isatty Unix.stderr && !color_diagnostics then
+  if !color_diagnostics then
     fprintf fmt c
   else
     ifprintf fmt c
-- 
cgit