diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-27 19:05:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-27 19:05:27 +0200 |
commit | 0132b8aa669adc10e6ca953d10d5c0b861f304b1 (patch) | |
tree | 3cf2c81cdac1103492489544449b614d58186abf /debug/DwarfPrinter.ml | |
parent | 896310e89fd1e527d0fcf8162c50577db702fc13 (diff) | |
download | compcert-0132b8aa669adc10e6ca953d10d5c0b861f304b1.tar.gz compcert-0132b8aa669adc10e6ca953d10d5c0b861f304b1.zip |
Allow string_literals_list in _Static_assert.
Not all pre-processors concatenate string literal lists, however they
are allowed in _Static_assert. This is similar to the rules for inline
assembly etc.
Diffstat (limited to 'debug/DwarfPrinter.ml')
0 files changed, 0 insertions, 0 deletions