From b65767c276124fff7412ef0112929d3aab16553b Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Mon, 25 Sep 2023 11:37:23 +0200 Subject: Name clash correction --- lib/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dune') 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) -- cgit v1.2.3