diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 14:31:02 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-08 14:31:02 +0100 |
commit | fdc5df430f2823004d2506cf579f7126d46d3a26 (patch) | |
tree | 01eadcbb4b990edfc359818beb5acffc5cea9ac4 /test/monniaux/BearSSL/conf/KalrayCompCert.mk | |
parent | a57a83d632afb029c1e12c9851a8631ace7ded01 (diff) | |
download | compcert-kvx-fdc5df430f2823004d2506cf579f7126d46d3a26.tar.gz compcert-kvx-fdc5df430f2823004d2506cf579f7126d46d3a26.zip |
Minor fix on TargetPrinter (coqint instead of coqint64 for adequate types)
Diffstat (limited to 'test/monniaux/BearSSL/conf/KalrayCompCert.mk')
0 files changed, 0 insertions, 0 deletions