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 @@
-
+