class ROOT_CLASS

creation
	make

feature -- Initialization

	make is
		do
			Create kgenerator.make
		end

feature -- Links

	kgenerator: KERNEL_GENERATOR

end -- ROOT CLASS