diff options
| -rwxr-xr-x | .travis/stp.sh | 2 |
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 |