ResEng.mkS to mkClause

This commit is contained in:
aarne
2005-12-07 21:51:40 +00:00
parent b7cb68eb08
commit 5a9db982dc
5 changed files with 24 additions and 24 deletions

View File

@@ -14,7 +14,7 @@ concrete QuestionEng of Question = CatEng ** open ResEng in {
} ;
QuestVP qp vp =
let cl = mkS (qp.s ! Nom) {n = qp.n ; p = P3} vp.s vp.s2
let cl = mkClause (qp.s ! Nom) {n = qp.n ; p = P3} vp
in {s = \\t,a,b,_ => cl.s ! t ! a ! b ! ODir} ;
QuestSlash ip slash = {