diff --git a/languages/jetbrains.mps.jchr/languageModels/behavior.mps b/languages/jetbrains.mps.jchr/languageModels/behavior.mps index b521560a..25591584 100644 --- a/languages/jetbrains.mps.jchr/languageModels/behavior.mps +++ b/languages/jetbrains.mps.jchr/languageModels/behavior.mps @@ -752,9 +752,7 @@ - - - + diff --git a/languages/jetbrains.mps.jchr/languageModels/typesystem.mps b/languages/jetbrains.mps.jchr/languageModels/typesystem.mps index 19818744..27fa1834 100644 --- a/languages/jetbrains.mps.jchr/languageModels/typesystem.mps +++ b/languages/jetbrains.mps.jchr/languageModels/typesystem.mps @@ -66,8 +66,8 @@ - - + + @@ -75,15 +75,12 @@ - - - - - - - - - + + + + + +