(Ara) small bugfixes

This commit is contained in:
Inari Listenmaa
2018-11-14 18:11:26 +01:00
parent 06efa09f93
commit 51e1c771c1
2 changed files with 10 additions and 3 deletions
+1 -1
View File
@@ -28,7 +28,7 @@ concrete QuestionAra of Question = CatAra ** open ResAra, ParamX, Prelude, VerbA
---- IL guessed
-- : IComp -> NP -> QCl
QuestIComp ic np =
let vp = kaan (CompNP np) ;
let vp = UseComp (CompNP np) ;
ip : ResAra.IP = np ** { -- NP's s is already present in VP, we only want its agr
s = \\_,_,_,_ => ic.s ! pgn2gn np.a.pgn } ;
in QuestVP ip vp ;