diff --git a/build.gradle b/build.gradle
index bf8c611867..9d6ff8ac8d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -7,7 +7,7 @@ plugins {
 
 //MPS version
 ext.mpsMajor = "9999.9"
-ext.mpsBuild = "243.21565.10122"
+ext.mpsBuild = "243.21565.10133"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = "9999.9.3092.695ec9e-SNAPSHOT"