diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-04-06 15:06:38 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-04-06 15:06:38 +0200 |
commit | 41b17255f3517b875c19cb7b5c340b88f77da920 (patch) | |
tree | 47d4f12f4e791b786d2903246530b2e971efdc1e /backend/PrintLTLin.ml | |
parent | ebaac5077c279ae07d973e38e13fdb519a3f007c (diff) | |
download | compcert-41b17255f3517b875c19cb7b5c340b88f77da920.tar.gz compcert-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 'backend/PrintLTLin.ml')
0 files changed, 0 insertions, 0 deletions