diff --git a/.travis.yml b/.travis.yml
index f4843823325ead914ab74e33a68747c467ef322e..2109490893a76e7b248821a06fc2cf9382ea8d42 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,4 @@
 language: java
-sudo: true
 script: ./gradlew tla2b check uploadArchives
 
 before_install: