diff --git a/solutions/jetbrains.mps.unification/imports/mps-unification b/solutions/jetbrains.mps.unification/imports/mps-unification index 88503a41..3bd772b1 160000 --- a/solutions/jetbrains.mps.unification/imports/mps-unification +++ b/solutions/jetbrains.mps.unification/imports/mps-unification @@ -1 +1 @@ -Subproject commit 88503a41bacde72fa87bcfb0863015ffd36f7c32 +Subproject commit 3bd772b1dca0344ee82d0fcbd483cd2afd69cfa5