From 2f0716f6665a0cdcbf0e035c9141560382177f2d Mon Sep 17 00:00:00 2001
From: ArthurW <arthur@tarides.com>
Date: Wed, 10 Apr 2024 08:26:05 +0200
Subject: [PATCH] Fix CI

---
 examples/dune | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/dune b/examples/dune
index 0bc7572d77..28f453fd47 100644
--- a/examples/dune
+++ b/examples/dune
@@ -62,5 +62,4 @@
 
 (mdx
  (files merkle_proofs.md)
- ; (preludes merkle_proofs_prelude.ml)
- (libraries irmin-cli))
+ (libraries irmin irmin-cli irmin-git.unix ppx_irmin))