sorting command list in Commands

This commit is contained in:
aarne
2008-06-08 19:27:20 +00:00
parent ce06bd457e
commit fd6f37032c
4 changed files with 24 additions and 20 deletions

View File

@@ -27,7 +27,7 @@ concrete VerbEng of Verb = CatEng ** open ResEng in {
insertObj (\\a => infVP vv.isAux vp a) (predVV vv) **
{c2 = vp.c2} ;
SlashV2VNP vv np vp =
insertObjPre (\\_ => v.c2 ++ np.s ! Acc)
insertObjPre (\\_ => vv.c2 ++ np.s ! Acc)
(insertObjc (\\a => infVP vv.isAux vp a) (predVc vv)) **
{c2 = vp.c2} ;