diff --git a/Dockerfile b/Dockerfile
index cd73590..e33eb8b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -29,7 +29,7 @@ RUN apt-get update && apt-get install -y \
    git \
    llvm \
    make \
-   python \
+   python3 \
    rlwrap \
    sudo \
    wget \