Merge pull request #2643 from mbeddr/merge/mps20241

Merge maintenance/mps20232 into maintenance/mps20241
mbeddr · Dec 5, 2024 · 72b833d · 72b833d
2 parents c2cacf6 + 48f440f
commit 72b833d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/editor.mps b/code/languages/com.mbeddr.core/languages/com.mbeddr.core.base/languageModels/editor.mps
@@ -1000,7 +1000,7 @@
             </node>
           </node>
         </node>
-        <node concept="2iRfu4" id="7sHl0myfC36" role="2iSdaV" />
+        <node concept="l2Vlx" id="1OEjBB5gGtQ" role="2iSdaV" />
         <node concept="2tOxIa" id="4Oh$x0pl_Z9" role="3F10Kt">
           <property role="1lJzqX" value="-1" />
         </node>