indexing

	description: 
		"";
	date: "$Date$";
	revision: "$Revision $"

class VOMB

inherit

	FEATURE_ERROR

feature -- Property

	code: STRING is "VOMB";
			-- Error code

end -- class VOMB