У меня была похожая ситуация, мы капали ИРИС, когда малышу в глазик попал песок-на глазике, в уголках были белые выделения. Достаточно быстро прошло, его можно использвать и для профилактики. Это на всякий случай. А вы просто олодцы, что так быстро отреагировали-глазки нельзя запускать.