Los restos fósiles de "Thecodontosaurus", y otro material relacionado, fueron destruidos en 1940, en los bombardeos de la Segunda Guerra Mundial.