From f5b28ca45278393a4457bf3cbbe0908aa5bb4366 Mon Sep 17 00:00:00 2001
From: Andrew Gacek <andrew.gacek@gmail.com>
Date: Mon, 25 Feb 2013 12:53:23 -0600
Subject: [PATCH] Increase version number to 1.1

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

diff --git a/src/jkind/Main.java b/src/jkind/Main.java
index 440bbc774..bb06c40ed 100644
--- a/src/jkind/Main.java
+++ b/src/jkind/Main.java
@@ -24,7 +24,7 @@
 import org.antlr.v4.runtime.RecognitionException;
 
 public class Main {
-	final public static String VERSION = "1.0.1";
+	final public static String VERSION = "1.1";
 	
 	public static void main(String args[]) throws IOException, RecognitionException, InterruptedException {
 		String filename = ArgumentParser.parse(args);