From ff6037ed795248699403780516c49b46cd1d3eb5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Jul 2017 16:38:59 +0200
Subject: [PATCH] Use master branch for carl again

---
 travis/dockerfiles/build_carl.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/dockerfiles/build_carl.sh b/travis/dockerfiles/build_carl.sh
index 5c26b307b..fc3d43d22 100755
--- a/travis/dockerfiles/build_carl.sh
+++ b/travis/dockerfiles/build_carl.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 echo "Building Carl..."
-git clone -b singleton_fix https://github.com/smtrat/carl.git
+git clone https://github.com/smtrat/carl.git
 cd carl
 mkdir build
 cd build