From fab042bfbbe831202c0d5e345b32eeede91f7a02 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 25 Jul 2016 17:03:12 +0200
Subject: [PATCH] Minor fix in the logic editor

---
 .../languages/jetbrains.mps.logic/languageModels/editor.mps | 6 ------
 1 file changed, 6 deletions(-)

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 @@
           <node concept="VPM3Z" id="6p0DfM0oSne" role="3F10Kt">
             <property role="VOm3f" value="false" />
           </node>
-          <node concept="11L4FC" id="7ksQUDZwbOQ" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
           <node concept="11LMrY" id="7ksQUDZvzEx" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -2186,9 +2183,6 @@
           <node concept="11L4FC" id="7ksQUDZvzGl" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
-          <node concept="11LMrY" id="7ksQUDZwbMX" role="3F10Kt">
-            <property role="VOm3f" value="true" />
-          </node>
         </node>
         <node concept="l2Vlx" id="6p0DfM0hLgf" role="2iSdaV" />
       </node>