diff --git a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps index a596804e..6e0d52c0 100644 --- a/logic/languages/jetbrains.mps.logic/languageModels/editor.mps +++ b/logic/languages/jetbrains.mps.logic/languageModels/editor.mps @@ -2162,9 +2162,6 @@ - - - @@ -2186,9 +2183,6 @@ - - -