From 3ef59a449c36c38fefe18693a4a074fcaf77aad7 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 30 May 2019 12:41:54 +0100
Subject: Fixed incorrect comment in Travis file, we now use STP 2.3.3

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

diff --git a/.travis.yml b/.travis.yml
index 6d0efdb0..e731af67 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,7 +14,7 @@ env:
     # Check a subset of the matrix of:
     #   LLVM  : {3.8, 3.9, 4.0, 5.0, 6.0, 7}
     #   SOLVERS : {Z3, STP, STP:Z3, metaSMT}
-    #   STP_VERSION   : {2.1.2, master}
+    #   STP_VERSION   : {2.3.3, master}
     #   METASMT_VERSION : {v4.rc1}
     #   METASMT_DEFAULT : {BTOR, CVC4, STP, YICES2, Z3}
     #   METASMT_BOOST_VERSION : {x.y.z} // e.g. 1.60.0, libboost-dev will be used if unspecified
-- 
cgit 1.4.1