Also rename in dune-project

robur-coop · Dec 15, 2021 · 9d025db · 9d025db
1 parent a4ca6cb
commit 9d025db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -1,2 +1,2 @@
 (lang dune 2.9)
-(name solo5_elftool)
+(name solo5-elftool)