class B

inherit

	A
		redefine
			make
		end

create

	make

feature

	make (s: STRING) is
		do
		end

end