Add name to dune-project

Signed-off-by: Christian Lindig <[email protected]>
lindig · Dec 27, 2023 · 84858f5 · 84858f5
1 parent 7320639
commit 84858f5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -1,5 +1,7 @@
 (lang dune 2.0)
 
+(name hello)
+
 (generate_opam_files true)
 
 (source