diff --git a/k-distribution/src/main/scripts/bin/kprove b/k-distribution/src/main/scripts/bin/kprove
deleted file mode 100755
index 4aad0f4394e..00000000000
--- a/k-distribution/src/main/scripts/bin/kprove
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env sh
-"$(dirname "$0")/kprove-legacy" "$@"