[submodule "third_party/gmc-synthesis"]
	branch = dingo
	path = third_party/gmc-synthesis
	url = https://bitbucket.org/nickng/gmc-synthesis
