How do they know it wasn’t a crocodile like armodillo. Maybe it wa a mammal...
Most likely they could tell by the ear canal, or any number of other features, that this was a reptile not a mammal.