class CONCURRENCY_LICENSE

inherit
	DUMMY_LICENSE

create
	make

feature

	make is
		do
			set_application_name ("eiffelconcurrent")
		end

end -- class CONCURRENCY_LICENSE