diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-04-29 19:57:04 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-04-29 19:57:04 +0200 |
commit | 38898389f48baac4a319c973d77bb6e69f98d502 (patch) | |
tree | bbf8a50a8a1952c07aa94487e862016fdf934e81 /doc/coq2html.mll | |
parent | f2fe37ccc79649dbb622b1bf2d0d144f2e0a5768 (diff) | |
download | compcert-38898389f48baac4a319c973d77bb6e69f98d502.tar.gz compcert-38898389f48baac4a319c973d77bb6e69f98d502.zip |
RISC-V vararg.S: a "sw" instruction should be "sptr"
Diffstat (limited to 'doc/coq2html.mll')
0 files changed, 0 insertions, 0 deletions