From ee03355ccb4bab527587eb1b045bce23fbff0b63 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20H=C3=A4ttasch?=
 <benjamin.haettasch@fachschaft.informatik.tu-darmstadt.de>
Date: Sat, 4 Dec 2021 17:44:57 +0000
Subject: [PATCH] Remove pinning to python 3.7

---
 Utils/setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Utils/setup.sh b/Utils/setup.sh
index aff0b60c..b10e7d48 100755
--- a/Utils/setup.sh
+++ b/Utils/setup.sh
@@ -10,7 +10,7 @@ rm -rf venv/
 
 # Setup Python Environment
 # Requires: Virtualenv, appropriate Python installation
-virtualenv venv -p python3.7
+virtualenv venv -p python3
 source venv/bin/activate
 pip install --upgrade setuptools pip wheel
 pip install -r requirements.txt
-- 
GitLab