1
0
forked from GitHub/gf-rgl

VPSlash in ExtensionsEng updated

This commit is contained in:
Aarne Ranta
2018-06-14 10:11:43 +02:00
parent 350adb704a
commit 6c3125c3e2

View File

@@ -129,7 +129,7 @@ lin
VPSlashVS vs vp = VPSlashVS vs vp =
insertObj (\\a => infVP VVInf vp Simul CPos a) (predV vs) ** insertObj (\\a => infVP VVInf vp Simul CPos a) (predV vs) **
{c2 = ""; gapInMiddle = False} ; {c2 = ""; gapInMiddle = False ; missingAdv = True} ; ---- missingAdv?
PastPartRS ant pol vps = { PastPartRS ant pol vps = {
s = \\agr => vps.ad ! agr ++ vps.ptp ++ vps.p ++ vps.s2 ! agr ; s = \\agr => vps.ad ! agr ++ vps.ptp ++ vps.p ++ vps.s2 ! agr ;