indexing

	description: "[

		Inherit from this class if you need EM_TIME functionality.

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

class EM_TIME_SINGLETON

feature -- Access

	time: EM_TIME is
		-- Returns reference to the singleton
	once
		create Result.make
	ensure
		time_not_void: Result /= Void
	end

end