diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 14:33:15 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
commit | 012827a7cba40f434b9fc6ce1b46dc725473eae7 (patch) | |
tree | 35a1742582fafc3c83f581311453e9bf9211a8b1 /backend/Renumberproof.v | |
parent | d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee (diff) | |
download | compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.tar.gz compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.zip |
Unified function for adding the atom identifier.
Instead of defining two functions for adding the mapping from atom
to debug id we use one function which then sets the corresponding
values.
Bug 17392.
Diffstat (limited to 'backend/Renumberproof.v')
0 files changed, 0 insertions, 0 deletions