Shortly after, Wermuth opted for Crocodylia as the proper name for this redescribed group, basing it on the type genus Crocodylus (Laurenti, 1768).
Pouco despois, Wermuth optou por usar Crocodylia como nome máis axeitado para este grupo redescrito, baseándose no nome do xénero tipo Crocodylus (Laurenti, 1768).