Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Driver.ml
Find file
Blame
History
Permalink
Various improvements in the wording of diagnostics.
· d13f1e24
Michael Schmidt
authored
Jun 04, 2018
Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
d13f1e24