From 6ac5af596f8ead238e4e951bbf881c0b0cecb60a Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 23 Jan 2018 12:28:43 +0100 Subject: [PATCH] Upgrade to the latest MPS release. --- gradle.properties | 4 ++-- .../jetbrains.mps.baseLanguageExt.test.msd | 4 ++-- .../jetbrains.mps.typechecking.sample.msd | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/gradle.properties b/gradle.properties index e8c51a96..6f1fd150 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,5 +1,5 @@ mpsBuildConfiguration = MPS_20173_Distribution_DownloadableArtifacts -mpsBuildLabel = 2017.3.2 -mpsBuildNumber = 173.1609 +mpsBuildLabel = 2017.3.3 +mpsBuildNumber = 173.1677 mpsRelease = 2017.3 diff --git a/typechecking/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd b/typechecking/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd index f5e252de..46e26df7 100644 --- a/typechecking/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd +++ b/typechecking/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd @@ -35,14 +35,14 @@ + + - - diff --git a/typechecking/solutions/jetbrains.mps.typechecking.sample/jetbrains.mps.typechecking.sample.msd b/typechecking/solutions/jetbrains.mps.typechecking.sample/jetbrains.mps.typechecking.sample.msd index fc20245c..14e51f52 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.sample/jetbrains.mps.typechecking.sample.msd +++ b/typechecking/solutions/jetbrains.mps.typechecking.sample/jetbrains.mps.typechecking.sample.msd @@ -19,7 +19,7 @@ - +