From fd698f41fe48a259ebed71944498718471410fa7 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 20 Feb 2021 10:07:40 +0000
Subject: [PATCH] travis: lets try with python 3

---
 contrib/ci/Dockerfiles/z3_build.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/ci/Dockerfiles/z3_build.Dockerfile b/contrib/ci/Dockerfiles/z3_build.Dockerfile
index f513ea74b..777408e5e 100644
--- a/contrib/ci/Dockerfiles/z3_build.Dockerfile
+++ b/contrib/ci/Dockerfiles/z3_build.Dockerfile
@@ -12,7 +12,7 @@ ARG DOTNET_BINDINGS
 ARG JAVA_BINDINGS
 ARG NO_SUPPRESS_OUTPUT
 ARG PYTHON_BINDINGS
-ARG PYTHON_EXECUTABLE=python
+ARG PYTHON_EXECUTABLE=/usr/bin/python3
 ARG RUN_API_EXAMPLES
 ARG RUN_SYSTEM_TESTS
 ARG RUN_UNIT_TESTS