Newly discovered crocodile roamed with dinosaurs

Scientists have discovered the fossils of a new species of a tiny crocodile that walked Earth some 126 million years ago - along with the mighty dinosaurs.