diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:00:41 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:00:41 +0100 |
| commit | 780028efb317afcbcecabc075945a8f920de8ccc (patch) | |
| tree | 70da1b40682a2afedf78c974109e72f69b35dd88 /backend/AisAnnot.ml | |
| parent | 2e57ee6dc7c43c96a6332538288f749b5bcde1c6 (diff) | |
| download | compcert-kvx-780028efb317afcbcecabc075945a8f920de8ccc.tar.gz compcert-kvx-780028efb317afcbcecabc075945a8f920de8ccc.zip | |
Also use binary output for arm. Fix 23172
Diffstat (limited to 'backend/AisAnnot.ml')
0 files changed, 0 insertions, 0 deletions