But those funds wound up set aside for other uses at the same time as Florida faces a budget crisis.
Florida is facing a budget crisis, but is unable to access those funds.
Those funds were to be used in case of a budget crisis.