diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-05-03 17:36:53 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2017-05-03 17:36:53 +0200 |
commit | 996d8079ef32cbf6c83c458a5df4e548def2d2dc (patch) | |
tree | f83c126d7d4c5803a82b61cf04bdc7003af55687 /powerpc/ValueAOp.v | |
parent | 2bbb20db14cba7c2a460f58ae84c2526e3bb35aa (diff) | |
download | compcert-996d8079ef32cbf6c83c458a5df4e548def2d2dc.tar.gz compcert-996d8079ef32cbf6c83c458a5df4e548def2d2dc.zip |
bug 20956, print correct error message depending on architecture
Diffstat (limited to 'powerpc/ValueAOp.v')
0 files changed, 0 insertions, 0 deletions