Sure, there's an intellectually sound reason for the lumping: There was a long period of earth's history where enormous reptiles were prominent, and almost all but the crocodile family died out. So, it makes sense to have a word for all the age-of-reptiles reptiles we see in fossils. "Dinosaurs" works great. As such, it includes pterosaurs and sea reptiles even.