From c9d6dccc124ad1c50538a09002f91c200ee639ba Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 18 Feb 2021 19:52:30 +0000
Subject: [PATCH] travis fixes

---
 contrib/ci/scripts/travis_ci_linux_entry_point.sh | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

diff --git a/contrib/ci/scripts/travis_ci_linux_entry_point.sh b/contrib/ci/scripts/travis_ci_linux_entry_point.sh
index 3c9ac7db7..32892b881 100755
--- a/contrib/ci/scripts/travis_ci_linux_entry_point.sh
+++ b/contrib/ci/scripts/travis_ci_linux_entry_point.sh
@@ -141,13 +141,9 @@ if [ -n "${Z3_WARNINGS_AS_ERRORS}" ]; then
 fi
 
 case ${LINUX_BASE} in
-  ubuntu_16.04)
-    BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_16.04.Dockerfile"
-    BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:16.04"
-    ;;
-  ubuntu32_16.04)
-    BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu32_16.04.Dockerfile"
-    BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu32:16.04"
+  ubuntu_18.04)
+    BASE_DOCKER_FILE="${DOCKER_FILE_DIR}/z3_base_ubuntu_18.04.Dockerfile"
+    BASE_DOCKER_IMAGE_NAME="z3_base_ubuntu:18.04"
     ;;
   *)
     echo "Unknown Linux base ${LINUX_BASE}"