From 6386474ac8a4b113d5c9b4aa2b03104b7f219371 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 23 Jan 2024 18:26:50 +0100 Subject: refarctor: rename project to 'sandy' --- bin/dune | 4 ++-- bin/main.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'bin') 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/main.ml b/bin/main.ml index e763f70..c9ca884 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1,4 +1,4 @@ -open Sand +open Sandy let () = let open Editor in -- cgit v1.2.3