diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-26 14:28:22 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-26 14:28:22 +0200 |
| commit | 108db39b8b7c1d42cbc38c5aabf885ef5440f189 (patch) | |
| tree | c5f6433d93f22f19e645df40f03b5c3bc2970fe8 /powerpc/TargetPrinter.ml | |
| parent | e0f1a60f5ff9d2efc8b106b5167f0170b8795dbe (diff) | |
| download | compcert-108db39b8b7c1d42cbc38c5aabf885ef5440f189.tar.gz compcert-108db39b8b7c1d42cbc38c5aabf885ef5440f189.zip | |
Added the abbreviation for symbol constants.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions