From 9df5fe2f0d436923bae81e67ae0b42bdc298d0c0 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 4 Apr 2019 12:12:33 +0100
Subject: Use newer version of metaSMT in travis build

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

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:
-- 
cgit 1.4.1