Use Python 3 instead of Python 2 (EOL'd)

2023-10-03 13:03:40 +00:00 · 2020-01-15 14:20:43 +01:00
parent 9d9a7ebe25
commit 44e892634b
9 changed files with 14 additions and 14 deletions
@@ -12,7 +12,7 @@ for new_proof in $(git diff origin/develop --name-only test/formal/)
 do
 	set +e
 	echo "Proving $new_proof..."
-	output=$(python "$new_proof")
+	output=$(python3 "$new_proof")
 	result=$?
 	set -e