diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 18:09:34 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-10 18:09:34 +0200 |
commit | b19b9defebf96ba8599f481d4c617d43c21642ef (patch) | |
tree | 364f8dcb7c689af5453e405878528b5a1d839ba7 /backend/PrintAsmaux.ml | |
parent | 5659daa886559566fdb6306d989578707838a267 (diff) | |
download | compcert-kvx-b19b9defebf96ba8599f481d4c617d43c21642ef.tar.gz compcert-kvx-b19b9defebf96ba8599f481d4c617d43c21642ef.zip |
use proper local labels
Diffstat (limited to 'backend/PrintAsmaux.ml')
0 files changed, 0 insertions, 0 deletions