diff --git a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps index f3aa5647..6e27f492 100644 --- a/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps +++ b/typechecking/solutions/jetbrains.mps.typechecking.ui/models/ui.plugin.mps @@ -2451,6 +2451,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2561,6 +2587,32 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps index ceb86253..7ccdfb9b 100644 --- a/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps +++ b/typesystem2/languages/jetbrains.mps.lang.typesystem2/languageModels/behavior.mps @@ -2196,5 +2196,28 @@ + + + + + + + + + + + + + + + + + + + + + + +