[submodule "thirdparty/coreir"]
	path = thirdparty/coreir
	url = ../../uoft/coreir.git
