indexing

	description: "[

		Singleton for EM_FILE_LOADER

	]"
	date: "$Date$"
	revision: "$Revision$"

class EM_SHARED_FILE_LOADER

feature -- Singleton access

	file_loader: EM_FILE_LOADER is
			-- File Loader factory singleton
		once
			create Result.make
		ensure
			file_loader_not_void: Result /= Void
		end

end