From ea26ca8eb5230a66f3aabfb79e3f1701f4bdc4b7 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 12 Dec 2024 21:10:47 +0000
Subject: [PATCH] fix(deps): update dependency com.jetbrains.mps:mps-prerelease
 to v243.21565.10057

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 8a73392c9c..aca8acf7c8 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.10057"
 
 //MPS-extensions version
 ext.mpsExtensionsVersion = "9999.9.3069.5f029aa-SNAPSHOT"