dump

1 files changed, 2 insertions, 1 deletions

diff --git a/src/dune b/src/dune
index 6b1e6d9..328399e 100644
--- a/src/dune
+++ b/src/dune
@@ -1,3 +1,4 @@
 (library
  (name        grump)
- (public_name grump))
+ (public_name grump)
+ (wrapped false))