The lava cools.

It turns into rock.