diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-07 16:50:40 +0200 |
commit | 0c7c17e087d91a8a61c5679df45f4b09c286d08b (patch) | |
tree | c6574ef69cdb984d19ddab895977d96b17090adc /cparser/Parse.mli | |
parent | 4148ee08387bf953bdbe69f7668597ec0bcccc29 (diff) | |
download | compcert-0c7c17e087d91a8a61c5679df45f4b09c286d08b.tar.gz compcert-0c7c17e087d91a8a61c5679df45f4b09c286d08b.zip |
Added an define to avoid the inclusion of the diab va_list header which defined the incompatible vararg type.
Diffstat (limited to 'cparser/Parse.mli')
0 files changed, 0 insertions, 0 deletions