Inicialmente ser llamado "Protorosaurus", pero este nombre había sido publicado previamente para otro animal.