Ingredients

1 tablespoon olive oil 4 tablespoons butter 1 small onion, diced 3 to 4 medium carrots, diced 2 stalks celery, diced 16-ounce package potato gnocchi 6 to 8 cloves garlic, minced 1/4 cup flo…