Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
exportclight
ExportClight.ml
Find file
Blame
History
Permalink
Update the output of clightgen to pick the `$` notation from its new place
· d36130f9
Xavier Leroy
authored
Apr 23, 2021
Follow-up to
bb5dab84
d36130f9