diff --git a/jkind/src/jkind/Main.java b/jkind/src/jkind/Main.java
index 3a9c44fbe..c37d17aba 100644
--- a/jkind/src/jkind/Main.java
+++ b/jkind/src/jkind/Main.java
@@ -33,7 +33,7 @@
  * runnable JARs allow only a single entry point.
  */
 public class Main {
-	public static final String VERSION = "2.1.1";
+	public static final String VERSION = "2.2";
 
 	public static void main(String[] args) {
 		String availableEntryPoints = "Available entry points: -jkind, -jlustre2kind, -jlustre2excel, -jrealizability, -benchmark";