diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 10:09:01 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 10:09:01 +0100 |
| commit | 7cef0b2872b00343c5dd0f94440ce245f6b5e422 (patch) | |
| tree | 45a7a246df11e894f90d6c8eb2212d306bba3b1d /VERSION | |
| parent | fe73ed58ef80da7c53c124302a608948fb190229 (diff) | |
| download | compcert-7cef0b2872b00343c5dd0f94440ce245f6b5e422.tar.gz compcert-7cef0b2872b00343c5dd0f94440ce245f6b5e422.zip | |
Simplify the Json export.
Instead of having a function for each instruction we now use a
generic function to print the arguments.
Bug 17544.
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions