diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-04 10:32:53 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-04 10:32:53 +0100 |
commit | 932305f71062fd4f3d108ba866b5e1c8b5b4a94c (patch) | |
tree | bdaae0e22f99c61135b59a78f74a3a783fc0c79b /cfrontend/Cminorgenproof.v | |
parent | fadf72ce0d252fc59890c1a2ffe95db14e4add88 (diff) | |
download | compcert-932305f71062fd4f3d108ba866b5e1c8b5b4a94c.tar.gz compcert-932305f71062fd4f3d108ba866b5e1c8b5b4a94c.zip |
Fixed missing \" in json printing for registers.
Diffstat (limited to 'cfrontend/Cminorgenproof.v')
0 files changed, 0 insertions, 0 deletions