diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 16:23:12 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-15 16:23:12 +0100 |
| commit | c54e20b2c444ddbb561bb4ac0422c92b77b656b1 (patch) | |
| tree | ad4762ada64ab8deb8f5c28212d720a49e04a1e5 /arm/AsmToJSON.mli | |
| parent | 272a5b812b72f4c3e409ccdbeaf3476d95c4b552 (diff) | |
| download | compcert-kvx-c54e20b2c444ddbb561bb4ac0422c92b77b656b1.tar.gz compcert-kvx-c54e20b2c444ddbb561bb4ac0422c92b77b656b1.zip | |
Removed not needed env.
The functions for naming string and wstring literals no longer need
an env.
Bug 18394
Diffstat (limited to 'arm/AsmToJSON.mli')
0 files changed, 0 insertions, 0 deletions