Order †Pachycephalosauria Maryañska & Osmólska, 1974 see Infraorder Pachycephalosauria Maryañska & Osmólska, 1974 Genus †Majungatholus Sues & Taquet, 1979 †Majungatholus atops see Majungatholus atopus Sues & Taquet, 1979