From 4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Tue, 20 Feb 2024 14:00:27 +0100 Subject: use yuujinchou for identifiers --- lib/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 7a54f53..7889c59 100644 --- a/lib/dune +++ b/lib/dune @@ -6,5 +6,5 @@ (library (name toytt) - (libraries asai) + (libraries asai yuujinchou) (preprocess (pps ppx_deriving.std))) -- cgit 1.4.1