1 teaspoon smoked paprika**

Spice-Rubbed Pork Tenderloin with Roasted Baby Carrots