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