From 9d025dba2c1b3cad8f3303a075c71f0cb3d836de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Wed, 15 Dec 2021 16:29:36 +0100
Subject: [PATCH] Also rename in dune-project

---
 dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index 8cf77e8..a5c8776 100644
--- a/dune-project
+++ b/dune-project
@@ -1,2 +1,2 @@
 (lang dune 2.9)
-(name solo5_elftool)
+(name solo5-elftool)