diff --git a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps index 8af01fb1..a756e2eb 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking/models/jetbrains.mps.typechecking.plugin.mps @@ -14102,7 +14102,7 @@ - + @@ -14166,7 +14166,7 @@ - + @@ -14310,10 +14310,10 @@ - + - + @@ -14325,10 +14325,10 @@ - + - + @@ -14344,23 +14344,10 @@ - - - - - - - - - - - - - - - - - + + + + @@ -14415,7 +14402,7 @@ - + @@ -14624,6 +14611,70 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +