From 1825904f4dd293ef43848128455b6b496bbed611 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Fri, 9 May 2025 15:29:21 +0200
Subject: [PATCH] (Chi) add mkAdv instance that doesn't pattern match any
 strings

---
 src/chinese/ParadigmsChi.gf | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/chinese/ParadigmsChi.gf b/src/chinese/ParadigmsChi.gf
index ec0568d08..881a14972 100644
--- a/src/chinese/ParadigmsChi.gf
+++ b/src/chinese/ParadigmsChi.gf
@@ -155,6 +155,8 @@ oper
       = \s,at -> lin Adv {s = word s ; advType = at ; hasDe = advTypeHasDe at} ;
     mkAdv : Adv -> AdvType -> Adv -- To fix the AdvType in an Adv produced by SyntaxChi.mkAdv
       = \adv,at -> adv ** {advType = at ; hasDe = advTypeHasDe at} ;
+    mkAdv : Str -> AdvType -> Bool -> Adv
+      = \s,at,hasDe -> lin Adv {s = word s ; advType = at ; hasDe = hasDe} ;
 
     } ;