indexing
	description: "Shared message factory instance."
	author: "Patrick Ruckstuhl <patrick@tario.org>"
	date: "$Date$"
	revision: "$Revision$"

class
	O_SHARED_MESSAGE_FACTORY

feature {NONE} -- Onces

	message_factory: O_MESSAGE_FACTORY is
			-- Message factory.
		once
			create Result.make
		ensure
			Result_not_void: Result /= Void
		end

end