remove unnecessary parameter

This commit is contained in:
Herbert Lange
2019-11-12 14:54:02 +01:00
parent 15c6e9c323
commit 67b107ea7e

View File

@@ -5,7 +5,7 @@ concrete QuestionLat of Question = CatLat ** open ResLat, IrregLat, Prelude in {
lin lin
-- QuestCl : Cl -> QCl ; -- does John walk -- QuestCl : Cl -> QCl ; -- does John walk
QuestCl cl = cl ** { QuestCl cl = cl ** {
v = \\t,a,_,ap,cp => cl.v ! t ! a ! VQTrue ! ap ! cp ; v = \\t,a,_,ap => cl.v ! t ! a ! VQTrue ! ap ;
q = "" q = ""
} ; } ;