aboutsummaryrefslogtreecommitdiff
path: root/test/dune
diff options
context:
space:
mode:
authorChimrod <>2024-12-02 09:05:18 +0100
committerChimrod <>2024-12-02 09:05:18 +0100
commit53c02501935b3cb2db78e79deb4d38c997505a95 (patch)
tree88a75e012ee186ffb6c6e3e0c53ba80610ec3b0b /test/dune
parent9e7b9de243e488e15d2c7528ce64e569eba8add2 (diff)
Moved the checks in a dedicated library
Diffstat (limited to 'test/dune')
-rw-r--r--test/dune1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/dune b/test/dune
index d7b5527..be1e337 100644
--- a/test/dune
+++ b/test/dune
@@ -7,6 +7,7 @@
sedlex
qparser
qsp_syntax
+ qsp_checks
fmt
)
(preprocess (pps