diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps index e9454b97..aa37b62c 100644 --- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps +++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps @@ -36,7 +36,6 @@ - @@ -75,21 +74,28 @@ - - - - + + + + + + + + + + + + + + - - - @@ -2512,12 +2518,14 @@ - - - - - - + + + + + + + +