From 3003c52dbad957fbe50dd4310008b7d85f726e3b Mon Sep 17 00:00:00 2001
From: Miles Conn <milesjconn@gmail.com>
Date: Tue, 2 Apr 2024 20:05:22 -0400
Subject: [PATCH] Bumped python version as well

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 \