diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps index db468995..ca3aa0f2 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps @@ -35,7 +35,6 @@ - @@ -666,10 +665,6 @@ - - - - @@ -14836,7 +14831,7 @@ - + @@ -14852,7 +14847,7 @@ - + @@ -14931,8 +14926,8 @@ - + @@ -34545,7 +34540,7 @@ - + @@ -34562,7 +34557,7 @@ - + @@ -34681,16 +34676,17 @@ - - - - - - - - - + + + + + + + + + + @@ -34755,7 +34751,7 @@ - + @@ -34784,16 +34780,17 @@ - - - - - - - - - + + + + + + + + + + @@ -34812,7 +34809,7 @@ - + @@ -35854,136 +35851,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -36051,8 +35918,9 @@ - - + + + @@ -36078,6 +35946,15 @@ + + + + + + + + + @@ -36205,8 +36082,9 @@ - - + + + @@ -36218,6 +36096,15 @@ + + + + + + + + + @@ -36354,19 +36241,29 @@ - - - - - + + + + + + - + + + + + + + + + + diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps index 8347de2f..e82eff8b 100644 --- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps +++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/features.mps @@ -8627,9 +8627,9 @@ - - - + + + @@ -8649,9 +8649,9 @@ - - - + + + @@ -8794,9 +8794,9 @@ - - - + + + @@ -8811,9 +8811,9 @@ - - - + + +