Red eye tool is a type of a repairing tool. When you circle any problematic area with red eye tool, the Photoshop will automatically identity that area and will replace it by dark-gray pixels.