From fde592dbbb97a89a498feb95f97bee674bd571e8 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 13:35:36 -0500 Subject: Refactor --- lib/dune | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 0ddfdce..cdc74cc 100644 --- a/lib/dune +++ b/lib/dune @@ -1,7 +1,10 @@ (library (name stitch) (libraries + unix + cmdliner str + notty + notty.unix shexp.process - cmdliner lambda-term)) -- cgit v1.2.3