Name of Hungarian street food condiment?

Posted by Ocean_OD@reddit | askhungary | View on Reddit | 11 comments

When I visited Hungary about 12 years ago for a festival I had so much amazing food. I have a vague memory of some sort of paprika oil/sauce/chutney that was on the side of every savoury food stall/truck. You had to scoop it with a spoon. I can only assume it was some sort of sweet paprika. I would really love to have it again if anyone knows what I may be talking about.