diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 14:37:46 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | a68c024bd8421cda0d21802669cb01730d109378 (patch) | |
tree | 14b3d4b2221bd42c3a63c0ff9cb8c9b01b6e8d72 /doc/coq2html.css | |
parent | 012827a7cba40f434b9fc6ce1b46dc725473eae7 (diff) | |
download | compcert-a68c024bd8421cda0d21802669cb01730d109378.tar.gz compcert-a68c024bd8421cda0d21802669cb01730d109378.zip |
Do not insert atom to global variable mapping.
The atom to global variable debug id mapping is never used so we
do not need to insert global variables into it.
Bug 17392.
Diffstat (limited to 'doc/coq2html.css')
0 files changed, 0 insertions, 0 deletions