From 0837d96d20e3ecd502a650aaa62488845198560f Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 23 Jan 2020 15:38:39 +0000
Subject: Use a newer Ubuntu 18.04 from the year 2020 to build KLEE

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

diff --git a/.travis.yml b/.travis.yml
index 673dd153..51a3a086 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,7 +32,7 @@ env:
     - secure: DQAEQWJblXvIztN/sgH63OtFncI+Qju6wRy1zIV/iLf5KbAmLs1h3itU7EsE/+3+LgV1MVQ5QNJDBUj17A6VHRKNaQ5qnIllTAcC3o0nPDohQkQoCgDG8HZ+M4wtVfr7q2K6byEPB2UbSH+mEjSMTihJufgBBVfKyyozAfYycjg=
 
     # Default configuration for all Travis-CI jobs. They are overriden by each job.
-    - BASE_IMAGE: ubuntu:xenial-20181005
+    - BASE_IMAGE: ubuntu:bionic-20200112
     - REPOSITORY: klee
 
     - COVERAGE: 0
-- 
cgit 1.4.1