wrong place for VPI parameter fixed

This commit is contained in:
aarne
2006-09-20 15:55:03 +00:00
parent bee08345cb
commit 16b16e217c
4 changed files with 11 additions and 6 deletions

View File

@@ -23,9 +23,6 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
VPI = {s : VPIForm => Agr => Str} ;
[VPI] = {s1,s2 : VPIForm => Agr => Str} ;
param
VPIForm = VPIInf | VPIPPart ;
lin
BaseVPI = twoTable2 VPIForm Agr ;
ConsVPI = consrTable2 VPIForm Agr comma ;