mkTemp in api; Inf to aux in SentenceEng bug fix

This commit is contained in:
aarne
2010-12-20 14:10:48 +00:00
parent 9509a451e0
commit 8f9e72ae4c
2 changed files with 9 additions and 1 deletions

View File

@@ -12,7 +12,7 @@ concrete SentenceEng of Sentence = CatEng ** open Prelude, ResEng in {
s = \\pol,n =>
let
agr = AgP2 (numImp n) ;
verb = infVP VVInf vp agr ;
verb = infVP VVAux vp agr ;
dont = case pol of {
CNeg True => "don't" ;
CNeg False => "do" ++ "not" ;