aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorChimrod <>2023-09-27 13:31:14 +0200
committerChimrod <>2023-09-29 10:00:21 +0200
commit40f7b4c7398db2b832b71e3dfb8afb53116fad51 (patch)
treefc36e0fe685a3c1bc36a6d8821fbdd369d75a40c /bin/dune
parent46fd5a31d2e07b9df10d07dd900b529aca06a795 (diff)
Switched to sedlex instead of ocamllex
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune1
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/dune b/bin/dune
index 9702e66..f7aacc3 100644
--- a/bin/dune
+++ b/bin/dune
@@ -2,6 +2,7 @@
(public_name qsp_parser)
(name qsp_parser)
(libraries
+ sedlex
qsp_syntax
qparser)