From ae26fb1603430eb7a1e409fe1ebde2f6436d865b Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 18 May 2020 12:52:30 +0200
Subject: [PATCH] Make sure we use Python3 in testing Docker container

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 4a9f0b1..4fa15da 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -11,8 +11,8 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
   ca-certificates \
   git             \
   procps          \
-  python          \
-  python-dev      \
+  python3          \
+  python3-dev      \
   && apt-get clean && rm -rf /var/lib/apt/lists/*
 
 ARG version=master