From 8079d0461b3c7da75c9cb3e379b7d0a1fd41d651 Mon Sep 17 00:00:00 2001
From: Andrew Gacek <andrew.gacek@gmail.com>
Date: Tue, 20 May 2014 10:50:00 -0500
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 dab540d88..4b5ed4be7 100644
--- a/jkind/src/jkind/Main.java
+++ b/jkind/src/jkind/Main.java
@@ -30,7 +30,7 @@
  * runnable JARs allow only a single entry point.
  */
 public class Main {
-	final public static String VERSION = "1.5";
+	final public static String VERSION = "1.5.1";
 
 	public static void main(String[] args) {
 		String availableEntryPoints = "Available entry points: -jkind, -jlustre2kind, -jlustre2excel, -benchmark";