Rocks that form from the lava of an erupting volcano are called