SUPERFAMILY ALLIGATOROIDEA Gray 1844, 56

(1 family, 1 genus, 1 species)