diff --git a/tlatools/build.gradle b/tlatools/build.gradle
index adcc3ec49b11dcfb5afdab7ffb9930ed9944eb74..39259289278ab57f6126995ea1e3643bc7344020 100644
--- a/tlatools/build.gradle
+++ b/tlatools/build.gradle
@@ -2,7 +2,7 @@ apply plugin: 'java'
 apply plugin: 'eclipse'
 apply plugin: 'maven'
 
-project.version = '1.0.1'
+project.version = '1.0.2-SNAPSHOT'
 project.group = 'de.hhu.stups'
 project.archivesBaseName = 'tlatools'