[submodule "record-update"]
	path = vendor/record-update
	url = https://github.com/tchajed/coq-record-update.git
