diff --git a/run b/run
index 22099b665..1525ae050 100755
--- a/run
+++ b/run
@@ -2,5 +2,4 @@
 
 set -eu -o pipefail ${SHELLFLAGS}
 
-python --version
 make -C $(dirname $0) run RUNFLAGS="$*"