aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-04-06 15:06:38 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2016-04-06 15:06:38 +0200
commit41b17255f3517b875c19cb7b5c340b88f77da920 (patch)
tree47d4f12f4e791b786d2903246530b2e971efdc1e /doc
parentebaac5077c279ae07d973e38e13fdb519a3f007c (diff)
downloadcompcert-kvx-41b17255f3517b875c19cb7b5c340b88f77da920.tar.gz
compcert-kvx-41b17255f3517b875c19cb7b5c340b88f77da920.zip
Added iso646 header for alternate spellings.
The iso646 header defines some macros that expand to common operators. Both clang and gcc ship with them and they are required by the standard. Bug 18645.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions