indexing

	description: "Operator alias name error.";
	date: "$Date$";
	revision: "$Revision$"

class VFAV1

inherit
	
	VFAV

feature -- Properties

	subcode: INTEGER is 1
			-- Error subcode

end