From f7612f0cfd68a157a5998649d070ef03e62fb89e Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 13 Mar 2019 16:10:01 +0000
Subject: Use newer uclibc version: libc++ requires locale support activated

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

diff --git a/.travis.yml b/.travis.yml
index 352ef4be..d6e027bf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -48,7 +48,7 @@ env:
     - SOLVERS: STP:Z3
     - STP_VERSION: 2.3.2
     - TCMALLOC_VERSION: 2.7
-    - UCLIBC_VERSION: klee_uclibc_v1.0.0
+    - UCLIBC_VERSION: klee_uclibc_v1.2-rc.1
     - USE_TCMALLOC: 1
     - USE_LIBCXX: 1
     - Z3_VERSION: 4.8.4
-- 
cgit 1.4.1