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 /driver | |
| parent | 600803caeeaeae889f0b3020423402bf542f022b (diff) | |
| download | compcert-kvx-6aeb6455cc52172fbb78999b17503d9a66ce7bfb.tar.gz compcert-kvx-6aeb6455cc52172fbb78999b17503d9a66ce7bfb.zip | |
Add `string_of_ident` conversion
This is the left inverse of `ident_to_string`.
Closes: #372
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions