• summary: Warning when EOF is found ina a search --> Warning when EOF is found in a search