Increase version number

loonwerks · Nov 12, 2013 · b68f0bc · b68f0bc
1 parent 5b3454f
commit b68f0bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jkind/src/jkind/Main.java b/jkind/src/jkind/Main.java
@@ -29,7 +29,7 @@
  * runnable JARs allow only a single entry point.
  */
 public class Main {
-	final public static String VERSION = "1.4.3";
+	final public static String VERSION = "1.4.4";
 
 	public static void main(String[] args) {
 		String availableEntryPoints = "Available entry points: -jkind, -jlustre2kind, -jlustre2excel, -benchmark";