diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 14:59:04 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 14:59:04 +0100 |
| commit | d23112021cd3a8e4caed49435764a2328025dd00 (patch) | |
| tree | aa3f0b1f89d346f136ea267f73b3e5a11e792e7a /backend/AisAnnot.ml | |
| parent | 36f52bf433614156a64358dbd71019b8d34865c5 (diff) | |
| download | compcert-kvx-d23112021cd3a8e4caed49435764a2328025dd00.tar.gz compcert-kvx-d23112021cd3a8e4caed49435764a2328025dd00.zip | |
Use binary output.
This should avoid problems when newlines are used in string
constants etc.
Bug 23172
Diffstat (limited to 'backend/AisAnnot.ml')
0 files changed, 0 insertions, 0 deletions