From 911f8eed4813315d407c413ca3965b014b4c86c8 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 18 Mar 2019 18:52:14 +0000
Subject: Update dependencies

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index d6e027bf..789ef4e6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,9 +46,9 @@ env:
     - REQUIRES_RTTI: 0
     - SANITIZER_BUILD:
     - SOLVERS: STP:Z3
-    - STP_VERSION: 2.3.2
+    - STP_VERSION: 2.3.3
     - TCMALLOC_VERSION: 2.7
-    - UCLIBC_VERSION: klee_uclibc_v1.2-rc.1
+    - UCLIBC_VERSION: klee_uclibc_v1.2
     - USE_TCMALLOC: 1
     - USE_LIBCXX: 1
     - Z3_VERSION: 4.8.4
-- 
cgit 1.4.1