diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-07 15:01:20 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-12-07 15:01:20 +0100 |
commit | d2efd8b0e1c07e8ce7edc2a5eaa461aff08d2be6 (patch) | |
tree | 1d998a607bd1afdcdbe9b055bf2e08ca382903ef /backend/PrintAsm.mli | |
parent | 3bb0c75456a0dcab079e7614c3bbd3ba971e4519 (diff) | |
download | compcert-d2efd8b0e1c07e8ce7edc2a5eaa461aff08d2be6.tar.gz compcert-d2efd8b0e1c07e8ce7edc2a5eaa461aff08d2be6.zip |
Do not inline varag functions. Bug 22642
Diffstat (limited to 'backend/PrintAsm.mli')
0 files changed, 0 insertions, 0 deletions