diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 12:11:46 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 12:11:46 +0100 |
| commit | b82ae19b91db32b12f0c0afe1a478f9d4caa6497 (patch) | |
| tree | 085e83886bdeddd71959a89de96dfad85a47ed12 /cfrontend/CPragmas.ml | |
| parent | 1e26e3d26fa06c38f712ff4a2554de76212d38ab (diff) | |
| download | compcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.tar.gz compcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.zip | |
Use quoted strings.
Instead of escaping all newlines etc for the help options use
quoted strings.
Bug 19872
Diffstat (limited to 'cfrontend/CPragmas.ml')
0 files changed, 0 insertions, 0 deletions