class COMMAND3

inherit

	BUILD_NON_UNDOABLE_CMD

creation

	make

feature -- Initialization

	make is
		do
		end

feature -- Access

	modify_label: STRING is "modify"

feature -- Command

	execute is
		do
			set_transition_label (modify_label)
		end

end