updated vdmcheck2 version

INTO-CPS-Association · Dec 20, 2023 · 1f1e902 · 1f1e902
1 parent eb23d68
commit 1f1e902
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.1</version>
+            <version>1.1.3-SNAPSHOT</version>
             <exclusions>
                 <exclusion>
                     <groupId>junit</groupId>