From ad658135be0bf2f71ce2067b1bd834659ca3ca50 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 9 Apr 2015 08:06:39 +0100
Subject: Switch to using STP's fork of minisat for TravisCI. It contains fixes
 needed by Clang.

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

(limited to '.travis')

diff --git a/.travis/stp.sh b/.travis/stp.sh
index 1c8fdb48..89d89909 100755
--- a/.travis/stp.sh
+++ b/.travis/stp.sh
@@ -7,7 +7,7 @@ STP_LOG="$(pwd)/stp-build.log"
 
 if [ "${STP_VERSION}" == "UPSTREAM" ]; then
     # Build minisat
-    git clone https://github.com/niklasso/minisat
+    git clone https://github.com/stp/minisat
     cd minisat
     mkdir build
     cd build
-- 
cgit 1.4.1