diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-28 16:51:28 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-28 16:51:28 +0100 |
| commit | 30dd68d627f68cca0c2addd006d853379ad720cf (patch) | |
| tree | b5d1c5bcbe091bd22d82611c56dc937b8ddba028 /cfrontend/Cexec.v | |
| parent | f00b70b6a17fdfb4e8606df891f6becc8102ef12 (diff) | |
| download | compcert-kvx-30dd68d627f68cca0c2addd006d853379ad720cf.tar.gz compcert-kvx-30dd68d627f68cca0c2addd006d853379ad720cf.zip | |
Changed the print_globaldef function of the powerpc backend to look like the functions used in the arm and ia32 backend.
Diffstat (limited to 'cfrontend/Cexec.v')
0 files changed, 0 insertions, 0 deletions