Gnocchi Paprika

Home-made gnocchi tossed in garlic cream spiced with chilli flakes, served with olives, cherry tomato and broccoli