fixing a type error in QuestionBul.AdvIAdv

This commit is contained in:
aarne
2010-04-29 16:28:57 +00:00
parent 31faae2d81
commit f2b36760da

View File

@@ -59,7 +59,7 @@ concrete QuestionBul of Question = CatBul ** open ResBul, Prelude in {
nonEmpty = num.nonEmpty
} ;
AdvIAdv i a = {s = i.s ++ a.s} ;
AdvIAdv i a = {s = \\q => i.s ! q ++ a.s} ;
CompIP ip = {s = ip.s ! RSubj} ;
}