overall: migrations

mbeddr · Jun 10, 2024 · c02c03d · c02c03d
1 parent 2c38460
commit c02c03d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/plugin.mps b/...languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/plugin.mps
@@ -7,6 +7,7 @@
     <use id="28f9e497-3b42-4291-aeba-0a1039153ab1" name="jetbrains.mps.lang.plugin" version="5" />
     <use id="c9d137c4-3259-44f8-80ff-33ab2b506ee4" name="jetbrains.mps.lang.util.order" version="0" />
     <use id="c0080a47-7e37-4558-bee9-9ae18e690549" name="jetbrains.mps.lang.extension" version="2" />
+    <use id="c7d5b9dd-a05f-4be2-bc73-f2e16994cc67" name="jetbrains.mps.baseLanguage.lightweightdsl" version="1" />
     <devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
   </languages>
   <imports>