From df5e0cf897d1a6b98922ae4ba71c2eb663ce3947 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Mon, 13 Nov 2023 11:42:04 +0100
Subject: [PATCH] safety.gsn, safety.cae: cosmetic fixes of the editor

---
 .../models/com.mbeddr.formal.safety.cae.editor.mps          | 4 ++++
 .../models/com.mbeddr.formal.safety.gsn.editor.mps          | 6 ++++++
 2 files changed, 10 insertions(+)

diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
index 9cb5eabdc..6001b5f1d 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
@@ -348,6 +348,7 @@
         </node>
         <node concept="3F0ifn" id="6xcemMvtSWJ" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="6xcemMvuhWL" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -418,6 +419,7 @@
           </node>
           <node concept="3F0ifn" id="1zMKqRpqUpe" role="3EZMnx">
             <property role="3F0ifm" value=":" />
+            <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
             <node concept="11L4FC" id="1zMKqRpqUpf" role="3F10Kt">
               <property role="VOm3f" value="true" />
             </node>
@@ -753,6 +755,7 @@
         </node>
         <node concept="3F0ifn" id="3VR5nzkXXnr" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="3VR5nzkXXns" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -850,6 +853,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAN" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" to="g35p:4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAO" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
index 00aa24b94..5065ffc32 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
@@ -3150,6 +3150,7 @@
         </node>
         <node concept="3F0ifn" id="6xcemMvtSWJ" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="6xcemMvuhWL" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3361,6 +3362,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAU" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAV" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3419,6 +3421,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAN" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAO" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3501,6 +3504,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxm2" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxoH" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -3544,6 +3548,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxB1" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxB2" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>
@@ -10456,6 +10461,7 @@
         </node>
         <node concept="3F0ifn" id="4doguZRxAG" role="3EZMnx">
           <property role="3F0ifm" value=":" />
+          <ref role="1k5W1q" node="4HjFLZ$nN39" resolve="GSNBaseLanguageKeyword" />
           <node concept="11L4FC" id="4doguZRxAH" role="3F10Kt">
             <property role="VOm3f" value="true" />
           </node>