salt (to taste around 1 teaspoon)

Instant Pot Vegetarian Tortilla Soup