diff --git a/src/HOL/Tools/ATP/scripts/dummy_atp b/src/HOL/Tools/ATP/scripts/dummy_atp
deleted file mode 100755
--- a/src/HOL/Tools/ATP/scripts/dummy_atp
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-echo "SZS status Unknown"