From 535e37da22016855cfbe51189e81000eaf6c584d Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 14 Oct 2020 20:05:39 +0100
Subject: Use the default version of LLVM for the macOS Travis target

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index d65d2477..0ef52088 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -125,7 +125,7 @@ jobs:
     # macOS
     - name: "macOS"
       os: osx
-      env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0 LLVM_VERSION=6.0
+      env: SOLVERS=STP UCLIBC_VERSION=0 USE_TCMALLOC=0 USE_LIBCXX=0
 
     # Docker
     - name: "Docker"
-- 
cgit 1.4.1