Heroes of Land, Air & Sea

What happens if the Spell Deck runs out of cards?

menu
If the Spell Deck runs out, shuffle the discard pile and form a new deck.