From cb124a87d8ed1a309b00c9163cde2911ee029251 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@mccd.space>
Date: Tue, 26 Dec 2023 09:02:53 -0600
Subject: Add cmdliner

---
 bin/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin/dune')

diff --git a/bin/dune b/bin/dune
index ce5ed03..4a29c86 100644
--- a/bin/dune
+++ b/bin/dune
@@ -2,5 +2,6 @@
  (public_name fixgen)
  (name main)
  (libraries 
+   cmdliner
    fixgen)
  )
-- 
cgit v1.2.3