Regardless of the fact that the helmet was not cracked, replace it anyway. Do not take the chance that the helmet might be 100% ok to use again. It may not protect you, or protect you as well in the event of another impact.