bugfix in GenRP in ExtraEng

This commit is contained in:
kr.angelov
2012-06-21 09:00:46 +00:00
parent 87401fcc4d
commit 70dc5d2c21

View File

@@ -10,7 +10,7 @@ concrete ExtraEng of ExtraEngAbs = CatEng **
RC _ (NCase Gen) => cn.s ! nu.n ! Gen ;
_ => cn.s ! nu.n ! Nom
} ;
a = RAg (agrP3 Sg)
a = RAg (agrP3 nu.n)
} ;
ComplBareVS v s = insertObj (\\_ => s.s) (predV v) ;