diff --git a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps index 8afa0bc1..c2658632 100644 --- a/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps +++ b/typechecking/solutions/jetbrains.mps.lang.typesystem2.sampleplugin/models/jetbrains/mps/lang/typesystem2/sampleplugin/plugin.mps @@ -1204,21 +1204,15 @@ - + + - - - - + + + - - - - - - @@ -3414,7 +3408,7 @@ - + @@ -3587,7 +3581,7 @@ - + @@ -3612,7 +3606,7 @@ - + @@ -3937,107 +3931,8 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + @@ -4174,6 +4069,105 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -8175,43 +8169,39 @@ - - - - - - - - - - + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + - - + + - - - - - - - + + + + + + + + + + @@ -9462,21 +9452,15 @@ - + + - - - - + + + - - - - - - @@ -10012,10 +9996,23 @@ - - - - + + + + + + + + + + + + + + + + + @@ -23804,10 +23801,10 @@ - + - +