refinemtsParseUrd

2026-06-24 18:46:28 -06:00 · 2012-11-06 16:43:31 +00:00
parent a3ff1826e4
commit a563bdcf26
3 changed files with 60 additions and 58 deletions
@@ -85,7 +85,7 @@ ComplVV v a p vp = insertTrans (insertVV (infVV v.isAux vp) (predV v) vp.embComp
    } ;
 -}
 CompVP ant p vp = {s = \\a => ant.s ++ p.s ++ 
-                                infVP False vp a} ;
+                                infVP False vp a} ; -- check for vp.isAux

  that_RP = {
    s = \\_,_ => "kh" ;