Astrodontosaurus est un nom de genre attribué par Kranz (2004) à Johnston; c'est un synonyme d' Astrodon.