From 1c5976f31edcdae70179352d34ecfe988709b2f3 Mon Sep 17 00:00:00 2001 From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com> Date: Tue, 12 Nov 2024 09:38:49 -0800 Subject: [PATCH] Remove unused uchar and uutf libraries Both uchar and uutf had been removed in original non-dune code, so this change makes the dune file reflect the source code. --- src/dune | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/dune b/src/dune index 1f28cec..688163a 100644 --- a/src/dune +++ b/src/dune @@ -3,13 +3,13 @@ (public_name uuseg) (wrapped false) (modules :standard \ uuseg_string) - (libraries uchar uucp) - (flags :standard -w -50-39-37-32)) + (libraries uucp) + (flags :standard -w -50-39-37-32-27)) (library (name uuseg_string) (public_name uuseg.string) (wrapped false) (modules uuseg_string) - (libraries uuseg uutf) + (libraries uuseg) (flags :standard -w -50-39-37-32))