safety.build: fixed dependencies

mbeddr · Dec 31, 2023 · b0dc2bc · b0dc2bc
1 parent 3df2774
commit b0dc2bc
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
@@ -4681,6 +4681,11 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="26E6nZcP$Qh" role="3bR37C">
+          <node concept="3bR9La" id="26E6nZcP$Qi" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:2eDSGe9d1q1" resolve="MPS.Workbench" />
+          </node>
+        </node>
       </node>
       <node concept="1E1JtA" id="y1G8y6eZfq" 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
@@ -9875,6 +9875,11 @@
             </node>
           </node>
         </node>
+        <node concept="1SiIV0" id="26E6nZcP$kL" role="3bR37C">
+          <node concept="3bR9La" id="26E6nZcP$kM" role="1SiIV1">
+            <ref role="3bR37D" to="ffeo:2eDSGe9d1q1" resolve="MPS.Workbench" />
+          </node>
+        </node>
       </node>
       <node concept="1X3_iC" id="1FMyjUPhIJF" role="lGtFl">
         <property role="3V$3am" value="modules" />