diff --git a/travis/build_carl_helper.sh b/travis/build_carl_helper.sh
index cfb1a31a6..595f0576a 100755
--- a/travis/build_carl_helper.sh
+++ b/travis/build_carl_helper.sh
@@ -19,6 +19,7 @@ run() {
   travis_fold start install_carl
   git clone https://github.com/smtrat/carl.git
   cd carl
+  git checkout 18.08
   mkdir build
   cd build
   cmake .. "${CMAKE_ARGS[@]}"