Spokesperson Michael Allison says the leak was reported at around 3:30 p.m. PT Sunday.
The entire mall was evacuated while the leak was investigated.
It was reopened just after 4 p.m.
Get top stories and blog posts emailed to me each day. Newsletters may offer personalized content or advertisements. Learn more