diff --git a/src/scripts/restart.sh b/src/scripts/restart.sh
index 3a5caad06..80840ac61 100755
--- a/src/scripts/restart.sh
+++ b/src/scripts/restart.sh
@@ -2,8 +2,6 @@
 
 set -eu -o pipefail
 
-readonly INFRA_VERSION_FILE=/home/yellowtent/platformdata/INFRA_VERSION
-
 if [[ ${EUID} -ne 0 ]]; then
     echo "This script should be run as root." > /dev/stderr
     exit 1