CEDAR PARK, Texas (KXAN) — Cedar Park Police said a gas leak that was reported earlier Saturday is now repaired.

CPPD said there was a gas leak near Mason Elementary School around 11 a.m. Police said it was caused by construction in front of the school.

No evacuations were needed, and Lakeline Boulevard has reopened, police said.