From a reliable source, I am told the dog had a history of aggression.
Sad for the child.
A neighbor on the other side of our Court had a dog. It had bit a little girl who lived across the street from them. One day, our Dalmatian got out and ran down there. Their dog attacked our dog and he was running back home before I could get to him. Granted, totally my fault for having my dog get loose but I saw the attack because I was running after him. It literally last a few seconds but he was torn up badly. I think the dog ended up attacking again and got put down.