indexing

	description: 
		"Error for retry instruction outside a feature rescue clause.";
	date: "$Date$";
	revision: "$Revision $"

class VXRT 

inherit

	FEATURE_ERROR
	
feature -- Properties

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

end -- class VXRT