From b117d79b7567cf472263207fe32344b2d217bcbe Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 14 Sep 2014 22:46:59 +0200 Subject: [PATCH] Minor fixes --- .../languageModels/behavior.mps | 4 +--- .../languageModels/typesystem.mps | 19 ++++++++----------- 2 files changed, 9 insertions(+), 14 deletions(-) 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 @@ - - - - - - - - - + + + + + +