diff --git a/proof-trace-dump.sh b/proof-trace-dump.sh
deleted file mode 100755
index b4b96e4c..00000000
--- a/proof-trace-dump.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env sh
-exec dune exec --profile=release src/proof-trace-dump/proof_trace_dump.exe -- $@