From 87352f4a8183a5de58016350395cba5c1abe625f Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Tue, 18 Aug 2015 07:41:46 +0200
Subject: [PATCH] fixed copy and paste error

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

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