diff --git a/src/main/java/de/tla2b/global/TranslationGlobals.java b/src/main/java/de/tla2b/global/TranslationGlobals.java
index 031c25652f7e693639d1694ddfde602c76e65f77..5ac04170e2778198400d864fc63e89e88654169a 100644
--- a/src/main/java/de/tla2b/global/TranslationGlobals.java
+++ b/src/main/java/de/tla2b/global/TranslationGlobals.java
@@ -6,7 +6,7 @@ import java.util.Arrays;
 import tla2sany.semantic.FrontEnd;
 
 public interface TranslationGlobals {
-	final String VERSION_NUMBER = "1.0.8";
+	final String VERSION_NUMBER = "1.1.5-SNAPSHOT";
 
 	final int TLCValueKind = 100;