Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
Makefile.extr
Find file
Blame
History
Permalink
Deactivate warning 27 and added back removed code.
· 272a5b81
Bernhard Schommer
authored
Mar 15, 2016
The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349
272a5b81