Brown a chopped onion in olive oil. Deglaze with vinegar. Add the sliced ​​carrots, cumin, salt. Cook in a pressure cooker for 10 minutes.