Post Platte Default: Sell All Your Appropriation-Backed Municipal Bonds?

Platte County, Missouri didn't appropriate for a bond payment. Does that put your appropriation-backed municipal bonds at risk? Should you sell?