diff --git a/build.gradle b/build.gradle index 8a73392c9c..1d8d8633b2 100644 --- a/build.gradle +++ b/build.gradle @@ -13,7 +13,7 @@ downloadJbr { //MPS version ext.mpsMajor = "9999.9" -ext.mpsBuild = "243.21565.10033" +ext.mpsBuild = "243.21565.10051" //MPS-extensions version ext.mpsExtensionsVersion = "9999.9.3069.5f029aa-SNAPSHOT"