updated vdmcheck version

INTO-CPS-Association · Mar 4, 2024 · 7bb6e9f · 7bb6e9f
1 parent e3ca7d6
commit 7bb6e9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frameworks/fmi2/pom.xml b/frameworks/fmi2/pom.xml
@@ -21,7 +21,7 @@
         <dependency>
             <groupId>org.into-cps.vdmcheck.fmi2</groupId>
             <artifactId>vdmcheck2</artifactId>
-            <version>1.1.3-SNAPSHOT</version>
+            <version>1.1.3</version>
             <exclusions>
                 <exclusion>
                     <groupId>junit</groupId>