increment minor version change for 4.2.0 release

loonwerks · Jun 11, 2020 · 42ca5a1 · 42ca5a1
1 parent a7c848c
commit 42ca5a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jkind/src/jkind/Main.java b/jkind/src/jkind/Main.java
@@ -38,7 +38,7 @@
  * runnable JARs allow only a single entry point.
  */
 public class Main {
-	public static final String VERSION = "4.1.0";
+	public static final String VERSION = "4.2.0";
 
 	public static void main(String[] args) {
 		String availableEntryPoints = "Available entry points: -jkind, -jlustre2kind, -jlustre2excel, -jrealizability, -benchmark";