From 792b58abe3f986cc99a3945b06847df5a413d3b9 Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Thu, 24 Aug 2017 16:16:31 +0300
Subject: [PATCH] Add a variant of mkAdv : Adv -> AdvType -> Adv that fixes the
 existing Adv with the given AdvType.

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

diff --git a/src/chinese/ParadigmsChi.gf b/src/chinese/ParadigmsChi.gf
index 58e0ff6c7..562cd38d1 100644
--- a/src/chinese/ParadigmsChi.gf
+++ b/src/chinese/ParadigmsChi.gf
@@ -143,6 +143,9 @@ oper
       = \s,t -> lin Adv {s = word (s + t) ; advType = getAdvType s} ; ----
     mkAdv : Str -> AdvType -> Adv 
       = \s,at -> lin Adv {s = word s ; advType = at} ;
+    mkAdv : Adv -> AdvType -> Adv -- To fix the AdvType in an Adv produced by SyntaxChi.mkAdv 
+      = \adv,at -> adv ** {advType = at} ;
+
     } ;
 
   AdvType : Type