about summary refs log tree commit diff homepage
path: root/.travis
diff options
context:
space:
mode:
Diffstat (limited to '.travis')
-rwxr-xr-x.travis/stp.sh2
1 files changed, 1 insertions, 1 deletions
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