indexing
	description: "Error for invalid reverse assignment attempt when handling%
		%with a formal generic parameter."
	date: "$Date$"
	revision: "$Revision$"

class
	VJRV2

inherit
	VJRV
		redefine
			subcode
		end

feature -- Properties

	subcode: INTEGER is 2

end -- class VJRV2