class COMMAND1

inherit

	BUILD_OPEN
		rename
			argument1 as build_open_argument1
		redefine
			execute,
			make
		end

creation

	make

feature -- Initialization

	make (arg1: SCROLLED_T) is
		do
			{BUILD_OPEN} Precursor (arg1)
		end

feature -- Access

feature -- Command

	execute is
		do
			{BUILD_OPEN} Precursor
		end

end