From 2168475eeafb8eb18ca7fba1420b1602edb6f791 Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 31 Aug 2018 14:52:16 +0200
Subject: [PATCH] set sudo=true in .travis.yml

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 6445208..d3615f4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,5 @@
 language: java
-
+sudo: true
 script: gradle tla2b check uploadArchives
 
 before_install:
-- 
GitLab