# A end of file
class EOF
	super Token
	redef fun to_s
	do
		return "end of file"
	end
end