diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:36:03 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-10-12 16:36:03 +0200 |
commit | 6aeb6455cc52172fbb78999b17503d9a66ce7bfb (patch) | |
tree | 983a4c00abd09d513835c055ff76d90b2b413091 /cfrontend/Csem.v | |
parent | 600803caeeaeae889f0b3020423402bf542f022b (diff) | |
download | compcert-6aeb6455cc52172fbb78999b17503d9a66ce7bfb.tar.gz compcert-6aeb6455cc52172fbb78999b17503d9a66ce7bfb.zip |
Add `string_of_ident` conversion
This is the left inverse of `ident_to_string`.
Closes: #372
Diffstat (limited to 'cfrontend/Csem.v')
0 files changed, 0 insertions, 0 deletions