diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-15 10:45:38 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-15 10:45:38 +0100 |
commit | 72504f5f53110f997c998352e916ad6c4434c76d (patch) | |
tree | 1ad63c52c9c1e0c3235b6bac27800c5ef42b8798 /test/mppa/delout.sh | |
parent | 15ba214895b64f04c840b020e0263fbd3e45924c (diff) | |
download | compcert-kvx-72504f5f53110f997c998352e916ad6c4434c76d.tar.gz compcert-kvx-72504f5f53110f997c998352e916ad6c4434c76d.zip |
FIX axiom to be realized issue
Diffstat (limited to 'test/mppa/delout.sh')
0 files changed, 0 insertions, 0 deletions