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 /arm/Asmexpand.ml | |
| parent | 7035f06bf453bdf2f9f09fd8a392778e9ad3cd43 (diff) | |
| download | compcert-kvx-9d95c2ce76bffe4be06697ac99936c7703c18a07.tar.gz compcert-kvx-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 'arm/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions