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