1 files changed, 1 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh
index a21e9fcb0..51a0a0611 100755
--- a/travis.sh
+++ b/travis.sh
@@ -102,7 +102,7 @@ EOF
 		else
 			echo "No sanitizer errors found."
 		fi
-		if [ ${errcode} -ne 0 ]
+		if [ ${errcode} -ne 0 ]; then
 			echo "server terminated with exit code ${errcode}"
 			aborterror "Test failed"
 		fi