Merge pull request #106 from mbeddr/merge/master

gradle.lockfile: updated dependency to mbeddr.platform
mbeddr · Aug 7, 2024 · 2ae73e8 · 2ae73e8
2 parents 8fc6890 + e832c28
commit 2ae73e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gradle.lockfile b/gradle.lockfile
@@ -9,7 +9,7 @@ com.fasterxml.jackson:jackson-bom:2.13.5=modelcheckBackend
 com.fasterxml.woodstox:woodstox-core:6.4.0=modelcheckBackend
 com.jetbrains.jdk:jbr_jcef:17.0.8.1-b1000.32=jbrLinux,jbrMac,jbrWin
 com.jetbrains:mps:2023.2.1=mps
-com.mbeddr:platform:2023.2.24801.386ed54=languageLibs
+com.mbeddr:platform:2023.2.24804.386ed54=languageLibs
 com.xenomachina:kotlin-argparser:2.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend
 com.xenomachina:xenocom:0.0.7=executeBackend,generateBackend,modelcheckBackend,remigrateBackend
 de.itemis.mps.build-backends:execute-generators:1.15.1.98.8f853d3=generateBackend