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