[submodule "lib/CompCert"]
	path = lib/CompCert
	url = https://github.com/ymherklotz/CompCert.git