build: reloaded dependencies

mbeddr · Nov 13, 2023 · c1f3403 · c1f3403
1 parent b423595
commit c1f3403
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/....formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/....formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps
@@ -5503,6 +5503,11 @@
             <ref role="3bR37D" to="90a9:56Tfdun3uan" resolve="de.itemis.mps.editor.diagram.layout" />
           </node>
         </node>
+        <node concept="1SiIV0" id="_yKhEdNKS_" role="3bR37C">
+          <node concept="1Busua" id="_yKhEdNKSA" role="1SiIV1">
+            <ref role="1Busuk" node="6hyv0iVPlG3" resolve="com.mbeddr.formal.base" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="3rkUgzovbK_" role="2G$12L">
         <property role="BnDLt" value="true" />

diff --git a/...safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/...safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
@@ -10505,6 +10505,11 @@
             <ref role="3bR37D" to="90a9:56Tfdun3uan" resolve="de.itemis.mps.editor.diagram.layout" />
           </node>
         </node>
+        <node concept="1SiIV0" id="_yKhEdNKm4" role="3bR37C">
+          <node concept="1Busua" id="_yKhEdNKm5" role="1SiIV1">
+            <ref role="1Busuk" node="42jqVeFkUuV" resolve="com.mbeddr.formal.base" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtD" id="3R_yAtWp53E" role="2G$12L">
         <property role="BnDLt" value="true" />