From 4b2a72d01b48b9e5fd4743b98b0c6bf6422cfc0c Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Tue, 20 Feb 2024 14:00:27 +0100
Subject: use yuujinchou for identifiers

---
 toytt.opam | 1 +
 1 file changed, 1 insertion(+)

(limited to 'toytt.opam')

diff --git a/toytt.opam b/toytt.opam
index c2dd3f6..c111515 100644
--- a/toytt.opam
+++ b/toytt.opam
@@ -17,6 +17,7 @@ depends: [
   "algaeff"
   "asai"
   "bwd"
+  "yuujinchou"
   "odoc" {with-doc}
 ]
 build: [
-- 
cgit 1.4.1