From d48419cfdd8c6f93770503db5c8d09fc46c36981 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@gmail.com>
Date: Wed, 8 Nov 2023 14:17:47 +0100
Subject: [PATCH] Add script.

---
 examples/inspect | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 examples/inspect

diff --git a/examples/inspect b/examples/inspect
new file mode 100755
index 0000000..b50f871
--- /dev/null
+++ b/examples/inspect
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+dune exec ./inspect.exe -- $@
\ No newline at end of file