fix AdvVPSlash and PastPartAP

This commit is contained in:
Krasimir Angelov
2024-06-14 10:34:17 +02:00
parent 1fbec65714
commit d182354238
3 changed files with 11 additions and 3 deletions

View File

@@ -154,7 +154,10 @@ lin
++ vps.compl1 ! Pos ! a
++ vps.compl2 ! Pos ! a
++ vps.c.s ; --
isPost = False ;
isPost = case vps.isSimple of {
True => False ;
False => True
} ;
preferShort=PreferFull
} ;