diff --git a/Makefile b/Makefile
index b4cfbc251892a911c26bebd6df9254630e97cfc9..3a797611ccacdbf8be06bb831e42f7059f7f88c9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java
+build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java build.gradle
 	gradle createJar
 install: build/libs/TLA2B.jar
 	cp build/libs/TLA2B.jar ../../prob_prolog/lib/
diff --git a/build.gradle b/build.gradle
index 5e0cbc06da59a57b03a5f12232f477a437d60655..822461b771bda7d781cc90f7ed01ed7445c381ae 100644
--- a/build.gradle
+++ b/build.gradle
@@ -33,10 +33,10 @@ configurations.all {
 
 def parser_version
 if (project.version.endsWith("-SNAPSHOT")) {
-	parser_version = '2.9.18-SNAPSHOT'
+	parser_version = '2.9.24-SNAPSHOT'
 }
 else {
-	parser_version = '2.9.17'
+	parser_version = '2.9.23'
 }
 
 def tlatools_version = '1.0.2'