diff --git a/solutions/jetbrains.mps.unification/imports/mps-unification b/solutions/jetbrains.mps.unification/imports/mps-unification
index 64df74ef..88503a41 160000
--- a/solutions/jetbrains.mps.unification/imports/mps-unification
+++ b/solutions/jetbrains.mps.unification/imports/mps-unification
@@ -1 +1 @@
-Subproject commit 64df74ef73eb997331c57c4389141479ffe84cdf
+Subproject commit 88503a41bacde72fa87bcfb0863015ffd36f7c32