diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-04-27 11:16:00 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-04-27 13:54:38 +0200 |
commit | cd34661afc61d234fc9bb1410d0974f62ac5a7b2 (patch) | |
tree | 58f5ef6f14f5c626aa17deb1eba4a837e8b0493a /riscV/Machregsaux.ml | |
parent | b1dbe72eacb731f193ac475ac1d14a20a832b8aa (diff) | |
download | compcert-cd34661afc61d234fc9bb1410d0974f62ac5a7b2.tar.gz compcert-cd34661afc61d234fc9bb1410d0974f62ac5a7b2.zip |
Also check statement of label statement.
Diffstat (limited to 'riscV/Machregsaux.ml')
0 files changed, 0 insertions, 0 deletions