diff options
| author | Chimrod <> | 2023-09-25 11:37:23 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-25 11:37:23 +0200 |
| commit | b65767c276124fff7412ef0112929d3aab16553b (patch) | |
| tree | 722f15ca0490925561fc26c973ef10ba75df0e70 /bin/dune | |
| parent | 000d8bcc955e57b8e1278c05763eff5bd97862b8 (diff) | |
Name clash correction
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ (name qsp_parser) (libraries qsp_syntax - qsp_parser) + qparser) (preprocess (pps ppx_deriving.show |