From bd2a44e7e4f6995a9544348057c8899ce17aa7f3 Mon Sep 17 00:00:00 2001 From: Romain Beauxis Date: Mon, 21 Oct 2024 08:59:59 -0500 Subject: [PATCH] Remove this. --- examples/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/dune b/examples/dune index 79aba4df..06d90c96 100644 --- a/examples/dune +++ b/examples/dune @@ -1,6 +1,6 @@ (executables (names tokenizer regressions complement subtraction repeat performance) - (libraries sedlex sedlex_ppx sedlex_utils) + (libraries sedlex sedlex_ppx) (preprocess (pps sedlex.ppx)) (flags :standard -w +39))