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))

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