indexing

	description: 
		"Error VRLE.";
	date: "$Date$";
	revision: "$Revision $"

class VRLE 

inherit

	FEATURE_ERROR

feature -- Properties

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

end -- class VRLE