aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorChimrod <>2023-09-25 11:37:23 +0200
committerChimrod <>2023-09-25 11:37:23 +0200
commitb65767c276124fff7412ef0112929d3aab16553b (patch)
tree722f15ca0490925561fc26c973ef10ba75df0e70 /lib
parent000d8bcc955e57b8e1278c05763eff5bd97862b8 (diff)
Name clash correction
Diffstat (limited to 'lib')
-rw-r--r--lib/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dune b/lib/dune
index 284ab67..c88994d 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,5 +1,5 @@
(library
- (name qsp_parser)
+ (name qparser)
(libraries
qsp_syntax
menhirLib)