From 096ec2adb209b1e2bbe7db3a702a0c69664a1e88 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Sun, 31 May 2020 00:39:17 -0400 Subject: Fixed compilation errors in bin --- bin/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index ddff424..e161175 100644 --- a/bin/dune +++ b/bin/dune @@ -1,4 +1,4 @@ (executable (public_name leda) - (name main) + (name leda) (libraries base gemini)) -- cgit v1.2.3