From f65303cf7e22fd1353f70e5f4826a4a59daa0d7e Mon Sep 17 00:00:00 2001
From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com>
Date: Tue, 20 Feb 2024 12:29:57 +0000
Subject: [PATCH] - fixed syntax in dune-project - added public_name to
 bin/dune

---
 bin/dune     | 1 +
 dune-project | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/dune b/bin/dune
index 9dd33af..cf34744 100644
--- a/bin/dune
+++ b/bin/dune
@@ -1,3 +1,4 @@
 (executable
+ (public_name coq_cheri_capabilities)
  (name main)
 (libraries coq_cheri_capabilities))
diff --git a/dune-project b/dune-project
index 9eade25..29988a6 100644
--- a/dune-project
+++ b/dune-project
@@ -17,7 +17,7 @@
               "\| and a concrete one for the Morello architecture.
  )
  (depends 
- 	(coq )
+ 	coq 
  	(coq-stdpp (= dev.2023-12-26.0.dd93e4c3))
   coq-sail-stdpp
   coq-ext-lib