1 files changed, 2 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index 87b4f4e..06a76ee 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,5 @@
 (executable
- (public_name sand)
+ (public_name sandy)
 (name main)
- (libraries sand)
+ (libraries sandy)
 (modes exe byte))

diff --git a/bin/dune b/bin/dune index 87b4f4e..06a76ee 100644 --- a/bin/dune +++ b/bin/dune
@@ -1,5 +1,5 @@
1	(executable	1	(executable
2	(public_name sand)	2	(public_name sandy)
3	(name main)	3	(name main)
4	(libraries sand)	4	(libraries sandy)
5	(modes exe byte))	5	(modes exe byte))