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