City of Dallas to present options to address aging city hall

There are three options for the city to choose from, including repairs that could cost up to $345 million.