tutorial: cleanup

mbeddr · Jan 3, 2025 · fb73013 · fb73013
1 parent bab5516
commit fb73013
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/...m.mbeddr.formal.safety/devkits/fasten.safety.gsn.runtime/fasten.safety.gsn.runtime.devkit b/...m.mbeddr.formal.safety/devkits/fasten.safety.gsn.runtime/fasten.safety.gsn.runtime.devkit
@@ -2,6 +2,7 @@
 <dev-kit name="fasten.safety.gsn.runtime" uuid="16e7e722-0522-46f7-b3be-41f15da742ed">
   <exported-language name="546ac349-3106-438d-b92b-7d2ebfa2ade8(com.mbeddr.formal.safety.argument.runtime)" />
   <exported-language name="1118d03f-f774-4a18-9e75-2357f8563d46(com.mbeddr.formal.safety.argument.spi)" />
+  <exported-language name="92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext)" />
   <extendedDevKits>
     <extendedDevKit>b64463ba-ae31-4cf7-be7b-afc13cab4daa(fasten.safety.gsn)</extendedDevKit>
   </extendedDevKits>

diff --git a/...formal.safety.tutorial/models/_010_features._090_assurance_cases_linked_to_runtime/.model b/...formal.safety.tutorial/models/_010_features._090_assurance_cases_linked_to_runtime/.model
@@ -2,8 +2,6 @@
 <model ref="r:3df64c2c-5d66-42f0-86ae-b6824b802d56(_010_features._090_assurance_cases_linked_to_runtime)" content="header">
   <persistence version="9" />
   <languages>
-    <use id="d3a0fd26-445a-466c-900e-10444ddfed52" name="com.mbeddr.mpsutil.filepicker" version="0" />
-    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="12" />
     <devkit ref="16e7e722-0522-46f7-b3be-41f15da742ed(fasten.safety.gsn.runtime)" />
   </languages>
   <imports>