diff --git a/build.gradle b/build.gradle index f096b8bd01..1a6a47eaef 100644 --- a/build.gradle +++ b/build.gradle @@ -7,7 +7,7 @@ plugins { //MPS version ext.mpsMajor = "9999.9" -ext.mpsBuild = "243.21565.10166" +ext.mpsBuild = "243.23654.10245" //MPS-extensions version ext.mpsExtensionsVersion = "9999.9.3092.695ec9e-SNAPSHOT"