diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 4ad3f558..6d0efdb0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -41,7 +41,7 @@ env: - ENABLE_DEBUG: 1 - GTEST_VERSION: 1.7.0 - LLVM_VERSION: 6.0 - - METASMT_VERSION: v4.rc1 + - METASMT_VERSION: qf_abv - MINISAT_VERSION: "master" - REQUIRES_RTTI: 0 - SANITIZER_BUILD: |