From 4c4ff26d0728ead1e55795890af5f3610fe2acbe Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 3 May 2026 22:45:51 -0400
Subject: [PATCH] remove dead script

---
 proof-trace-dump.sh | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100755 proof-trace-dump.sh

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 -- $@