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 /lib | |
parent | 000d8bcc955e57b8e1278c05763eff5bd97862b8 (diff) |
Name clash correction
Diffstat (limited to 'lib')
-rw-r--r-- | lib/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ (library - (name qsp_parser) + (name qparser) (libraries qsp_syntax menhirLib) |