From 3391e5e31db88e587100436e9407881fb8ef7873 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Bour?= <fred@tarides.com>
Date: Tue, 30 Mar 2021 12:10:22 +0200
Subject: [PATCH] rename grenier_balmap to balmap

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

diff --git a/balmap/dune b/balmap/dune
index 211391c..e5633b7 100644
--- a/balmap/dune
+++ b/balmap/dune
@@ -1,5 +1,5 @@
 (library
- (name grenier_balmap)
+ (name balmap)
  (public_name grenier.balmap)
  (libraries grenier.baltree)
  (modules Map Set)