1
0
forked from GitHub/gf-rgl

rm trailing whitespace

This commit is contained in:
odanoburu
2019-03-18 14:59:39 -03:00
parent 76bf6b7363
commit 5aedf4add6
3 changed files with 3 additions and 3 deletions

View File

@@ -13,7 +13,7 @@ concrete QuestionEng of Question = CatEng ** open ResEng, Prelude in {
} ---- "whether" in ExtEng
} ;
QuestVP qp vp =
QuestVP qp vp =
let cl = mkClause (qp.s ! npNom) (agrP3 qp.n) vp
in {s = \\t,a,b,_ => cl.s ! t ! a ! b ! oDir} ; ----