# A doubled span code token.
class TokenCodeDouble
	super TokenCode

	redef fun next_pos do return 1
end