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 /cparser/Env.mli | |
parent | 927d2a17d656715ea260a57fa914ff65d1a427fe (diff) | |
download | compcert-f6ba0da8e008b5bf5fa710eb087e0002e795e29f.tar.gz compcert-f6ba0da8e008b5bf5fa710eb087e0002e795e29f.zip |
Remove unnecessary usage of isatty.
Diffstat (limited to 'cparser/Env.mli')
0 files changed, 0 insertions, 0 deletions