indexing

	description: 
		"Error when an infixed feature has not exactly one argument.";
	date: "$Date$";
	revision: "$Revision $"

class VFFD6 

inherit

	VFFD
		redefine
			subcode
		end;

feature -- Properties

	subcode: INTEGER is 6;

end -- class VFFD6