From 6f9a74ec659ebf81c3eab8943cfffc110cddb023 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= <reynir@reynir.dk>
Date: Fri, 22 Jan 2021 11:12:49 +0100
Subject: [PATCH] Use dash instead of underscore in binary name

---
 bin/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/dune b/bin/dune
index 354383d..c6a2e9f 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,5 +1,5 @@
 (executable
- (public_name builder_web)
+ (public_name builder-web)
  (name builder_web_app)
  (modules builder_web_app)
  (libraries builder_web mirage-crypto-rng.unix))