[submodule "mps--unification"]
	path = languages/jetbrains.mps.logic/solutions/jetbrains.mps.logic.atom/imports/mps-unification
	url = git@github.com:fisakov/mps-unification.git
