From b68f0bcc9d3d2bdd68098850f66fce4db7576e0e Mon Sep 17 00:00:00 2001
From: Andrew Gacek <andrew.gacek@gmail.com>
Date: Mon, 11 Nov 2013 18:39:55 -0600
Subject: [PATCH] Increase version number

---
 jkind/src/jkind/Main.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jkind/src/jkind/Main.java b/jkind/src/jkind/Main.java
index 7a607869d..206db8d6a 100644
--- 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";