It is not necessarily A Comet if it were from the impactor (though most of the times it is a comet) because Asteroids called Chondrites Have Water, And Chondrites have High  mass (Approx 1000 Kg Chondrite found at Earth In The Jillin Meteorite Shower) because Chondrites have Iron In Them But There Is No Proof That It Was An Chondrite

So The Martian Atmosphere (100 times thinner than Earths) Still Could Cause A Comet to evaporate as it is volatile than iron (1,538 °C), nickel (1,455 °C), copper (1,085 °C) and rain as snow which would not cause the impact and seismic activity and if it were a comet the ice would not cling to the surface of the crater but would rain from the cumulonimbus cloud and be a bit more less spaced and the comet would start regelation and vaporize due to the collision of air molecules