# Empty phase that delegates `process_mainmodule` to the global `do_work`.
class DefaultPhase
	super Phase
	redef fun process_mainmodule(mainmodule, given_mmodules) do
		do_work(mainmodule, given_mmodules, toolcontext.modelbuilder)
	end
end