From 70b79caf41fdef32bb2e0d7a60923ac99296fdb9 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 12 Sep 2018 18:18:21 +0200
Subject: [PATCH] Travis: Use carl tag 18.08 to avoid problems with C++17

---
 travis/build_carl_helper.sh | 1 +
 1 file changed, 1 insertion(+)

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[@]}"