
1. change in sal-class-definitions:
	sal:infix-application: add pvs:infix-application to base class.


