diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 14:03:51 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-02 14:03:51 +0200 |
| commit | ba235b5d841528ac87b5c8cca79df3734a4a8976 (patch) | |
| tree | ef44fe39b100af82aa651b6382508b5cf93c6a5d /powerpc/TargetPrinter.ml | |
| parent | db8e35c6abf58c82853b94f416aa76b33efc1f65 (diff) | |
| download | compcert-ba235b5d841528ac87b5c8cca79df3734a4a8976.tar.gz compcert-ba235b5d841528ac87b5c8cca79df3734a4a8976.zip | |
Print p_int_constant instead of p_int in AsmToJSON.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions