diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 12:14:05 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 12:14:05 +0100 |
commit | 9d95c2ce76bffe4be06697ac99936c7703c18a07 (patch) | |
tree | 4746470ed28516f932ae2762bfcbc434ae7f5f63 /ia32/Asmgen.v | |
parent | 7035f06bf453bdf2f9f09fd8a392778e9ad3cd43 (diff) | |
download | compcert-9d95c2ce76bffe4be06697ac99936c7703c18a07.tar.gz compcert-9d95c2ce76bffe4be06697ac99936c7703c18a07.zip |
Change atom printer to use the common function.
The printer for atom constants should also use the printer
for singleton objects.
Bug 18394
Diffstat (limited to 'ia32/Asmgen.v')
0 files changed, 0 insertions, 0 deletions