fixed QuestIAdv

This commit is contained in:
Meowyam
2021-12-30 23:19:38 +08:00
parent 984c8deb34
commit c61fe0c314
2 changed files with 1 additions and 2 deletions

View File

@@ -50,7 +50,7 @@ lin
-- : IAdv -> Cl -> QCl ; -- why does John walk
QuestIAdv iadv cls = {
pred = \\vf,pol => cls.pred ! vf ! pol ++ iadv.s;
pred = \\vf,pol => cls.pred ! Root ! pol ++ iadv.s;
subj = cls.subj ;
} ;