diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-25 11:05:43 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-25 11:05:43 +0200 |
| commit | cc264a58d6fb43cf7c8ae41d73726dfedc20f1d4 (patch) | |
| tree | 0d4518c19ae9412c934d61494b536a6274f1ed3e /backend/PrintAsmaux.ml | |
| parent | 011d9ef9a964a676380bb45195418595108e274b (diff) | |
| download | compcert-kvx-cc264a58d6fb43cf7c8ae41d73726dfedc20f1d4.tar.gz compcert-kvx-cc264a58d6fb43cf7c8ae41d73726dfedc20f1d4.zip | |
Fix register name of ais printing and moved label function up.
Diffstat (limited to 'backend/PrintAsmaux.ml')
0 files changed, 0 insertions, 0 deletions