uncomment a VerbFin function left commented by mistake

This commit is contained in:
aarne
2013-03-15 17:40:28 +00:00
parent 23a310be57
commit ff879641c8
2 changed files with 3 additions and 3 deletions

View File

@@ -68,13 +68,13 @@ concrete VerbFin of Verb = CatFin ** open Prelude, ResFin in {
qp = v.qp ; p = v.p
}
) ** {c2 = vp.c2} ; ---- correct ??
{----
SlashV2VNP v np vp =
insertObjPre np.isNeg
(\\fin,b,a => appCompl True b v.c2 np ++ ---- fin -> stack overflow
infVP v.sc b a vp v.vi)
(predV v) ** {c2 = vp.c2} ;
----}
AdvVP vp adv = insertAdv (\\_ => adv.s) vp ;
AdVVP adv vp = insertAdv (\\_ => adv.s) vp ;