diff --git a/.travis.yml b/.travis.yml
index b0c9895cc75ac7f2f90a26ab90f63f7437b7f4a0..9c22d94cc1a23ef53b4770983aecba8be29e8587 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,3 @@
 language: java
 
-script: gradle tlc4b
+script: gradle tla2b