From 6d05ce4c7ba62d90a94b367b333f41608157b162 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Sun, 18 Nov 2018 23:40:42 +0100
Subject: [PATCH] Travis: Fixed syntax

---
 travis/build_helper.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/travis/build_helper.sh b/travis/build_helper.sh
index 1f63e3c0a..1ae396c14 100755
--- a/travis/build_helper.sh
+++ b/travis/build_helper.sh
@@ -59,9 +59,8 @@ run() {
     cd build
     ctest test --output-on-failure
     travis_fold end test_all
-    ;;
 
-     # Check correctness of build types
+    # Check correctness of build types
     case "$CONFIG" in
     DefaultDebug*)
         ./bin/storm --version | grep "with flags .* -g"