safety.hara: icon for losses

mbeddr · May 14, 2020 · a70fa8d · a70fa8d
1 parent 2164431
commit a70fa8d
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/...anguages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps b/...anguages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps
@@ -198,6 +198,15 @@
     <node concept="PrWs8" id="2hOvri9WL54" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
     </node>
+    <node concept="1irR5M" id="3mASqMCcrt6" role="rwd14">
+      <property role="2$rrk2" value="2" />
+      <node concept="1irPie" id="3mASqMCcrta" role="1irR9h">
+        <property role="1irPi9" value="▣" />
+        <node concept="3PKj8D" id="3mASqMCcrtf" role="3PKjny">
+          <property role="3PKj8l" value="987654" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="1TIwiD" id="2RlaC$P86Ok">
     <property role="EcuMT" value="3302592670536330516" />