diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 18:56:23 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-10-18 18:56:23 +0200 |
commit | f6ba0da8e008b5bf5fa710eb087e0002e795e29f (patch) | |
tree | 69100242e3f0c455c680a01db6dbea55b07e6320 | |
parent | 927d2a17d656715ea260a57fa914ff65d1a427fe (diff) | |
download | compcert-f6ba0da8e008b5bf5fa710eb087e0002e795e29f.tar.gz compcert-f6ba0da8e008b5bf5fa710eb087e0002e795e29f.zip |
Remove unnecessary usage of isatty.
-rw-r--r-- | cparser/Cerrors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |