diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps index 0e9d7e36..986b0916 100644 --- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps @@ -745,7 +745,7 @@ - + @@ -753,19 +753,9 @@ - - - - - - - - - - - - - + + + @@ -893,7 +883,7 @@ - + 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 a2342b2c..18813736 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 @@ -5369,14 +5369,9 @@ - - - - - - - - + + + @@ -7915,24 +7910,9 @@ - - - - - - - - - - - - - - - - - - + + + @@ -8328,24 +8308,9 @@ - - - - - - - - - - - - - - - - - - + + + @@ -17871,14 +17836,9 @@ - - - - - - - - + + + @@ -28287,14 +28247,9 @@ - - - - - - - - + + + @@ -28366,14 +28321,9 @@ - - - - - - - - + + + @@ -28449,14 +28399,9 @@ - - - - - - - - + + + @@ -28528,14 +28473,9 @@ - - - - - - - - + + + @@ -28853,14 +28793,9 @@ - - - - - - - - + + + @@ -28932,14 +28867,9 @@ - - - - - - - - + + + @@ -29010,14 +28940,9 @@ - - - - - - - - + + + @@ -29032,14 +28957,9 @@ - - - - - - - - + + + @@ -33410,19 +33330,9 @@ - - - - - - - - - - - - - + + + @@ -33554,19 +33464,9 @@ - - - - - - - - - - - - - + + + @@ -39884,14 +39784,9 @@ - - - - - - - - + + + @@ -40503,14 +40398,9 @@ - - - - - - - - + + + @@ -41212,29 +41102,9 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -42880,16 +42750,21 @@ - - - - + + + + + + + + + - - + + - + @@ -43202,29 +43077,9 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + @@ -44160,24 +44015,9 @@ - - - - - - - - - - - - - - - - - - + + + @@ -52422,7 +52262,134 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +