I've never made a sour beer nor have I any experience with sour mashing but my understanding is that with the minimal temperature drop and very short time frame of only a few hours (~5-8 hours) souring the mash should not be a concern.
It was not a sour mash in this instance which is in line...