From 5c3d78e4757ae03aab28c3cdd55cb660034c78f5 Mon Sep 17 00:00:00 2001
From: MKZaito <127297267+MKZaito@users.noreply.github.com>
Date: Fri, 20 Mar 2026 18:52:13 +0100
Subject: [PATCH 1/2] update generator

---
 gradle.properties                                    |  2 +-
 .../_lsp/language_access/SysMLv2LspCoCoRunner.java   | 12 ------------
 2 files changed, 1 insertion(+), 13 deletions(-)

diff --git a/gradle.properties b/gradle.properties
index 9726f10e..ec5b187c 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -19,7 +19,7 @@ sysmlGitlab        = https://git.rwth-aachen.de/api/v4/projects/37093/packages/m
 
 # Dependencies
 mc_version         = 7.8.0
-mclsg_version      = 7.8.3
+mclsg_version      = 7.8.5
 se_commons_version = 7.8.0
 assertj_version    = 3.21.0
 junit_version      = 5.8.2
diff --git a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
index 329ad223..833c407d 100644
--- a/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
+++ b/language-server/src/main/java/de/monticore/lang/sysmlv2/_lsp/language_access/SysMLv2LspCoCoRunner.java
@@ -15,18 +15,6 @@ public boolean needsSymbols() {
     return true;
   }
 
-  @Override
-  public void runAllCoCos(ASTSysMLModel ast){
-    if(System.getenv("SYSML_DEFAULT_COCOS") == null) {
-      tool.runDefaultCoCos(ast);
-    }
-    // Runs additional (verification-specific) CoCos when variable is set.
-    // Defaults to not running them.
-    if(System.getenv("SYSML_ADDITIONAL_COCOS") != null) {
-      tool.runAdditionalCoCos(ast);
-    }
-  }
-
   @Override
   public void runCoCosForAllDocuments(){
     documentManager.getAllDocumentInformation(new SysMLv2DocumentInformationFilter()).forEach(di -> {

From 87a00e292d1765133a10ec6d48bf6596605472b8 Mon Sep 17 00:00:00 2001
From: MKZaito <127297267+MKZaito@users.noreply.github.com>
Date: Fri, 20 Mar 2026 18:52:24 +0100
Subject: [PATCH 2/2] version bumb to 7.8.29

---
 gradle.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gradle.properties b/gradle.properties
index ec5b187c..c87a5880 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -25,4 +25,4 @@ assertj_version    = 3.21.0
 junit_version      = 5.8.2
 
 # Version of published artifacts
-version            = 7.8.28
+version            = 7.8.29