1/2 teaspoon salt (divided (to taste))

Roasted Vegetable Enchiladas