diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-08 17:53:38 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-08 17:53:38 +0200 |
| commit | a6bb01f79d1ec6c3bc485d65677314e87ddd7bb9 (patch) | |
| tree | a9f813586accdaf6f1e4c957c9d714a37f1c520f /powerpc/Machregsaux.ml | |
| parent | fe29750c851cf41d37cab764b1c4d0f0ee68f0d5 (diff) | |
| download | compcert-a6bb01f79d1ec6c3bc485d65677314e87ddd7bb9.tar.gz compcert-a6bb01f79d1ec6c3bc485d65677314e87ddd7bb9.zip | |
Refactored the code of powerpc/PrintAsm.ml by moving the function depending on the target system in a seperate module.
Diffstat (limited to 'powerpc/Machregsaux.ml')
0 files changed, 0 insertions, 0 deletions