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)