rename grenier_balmap to balmap

let-def · Mar 30, 2021 · 3391e5e · 3391e5e
1 parent c638f3e
commit 3391e5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)