1
0
forked from GitHub/gf-rgl

fixed duplication of de in RelativeChi

This commit is contained in:
Aarne Ranta
2018-05-16 10:24:02 +02:00
parent 9544bd8e6b
commit c50360078f
7 changed files with 24 additions and 35 deletions

View File

@@ -209,7 +209,7 @@ oper
mkPConj : Str -> PConj
= \s -> lin PConj {s = word s} ;
mkRP : Str -> RP
= \s -> lin RP {s = word s} ;
= \s -> lin RP {s = table {True => [] ; False => word s}} ;
--. auxiliary