diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-04 12:51:27 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-04 12:51:27 +0200 |
| commit | 47d0e5256ab79b402faae14260fa2fabc1d24dcb (patch) | |
| tree | 2d4095dca9354c99d40f73a442b50f98c164e337 /powerpc/Machregs.v | |
| parent | 707741859e747221af46daa982752b61a8076647 (diff) | |
| download | compcert-kvx-47d0e5256ab79b402faae14260fa2fabc1d24dcb.tar.gz compcert-kvx-47d0e5256ab79b402faae14260fa2fabc1d24dcb.zip | |
Fixed typo in AsmToJSON for instruction Pstfdu.
Diffstat (limited to 'powerpc/Machregs.v')
0 files changed, 0 insertions, 0 deletions