For a minor fault the system will reset from simply restarting the car. For a major leak problem i would not be surprised if there is a permanent code that needs to be reset like air bag faults.

__________________
2011 E70 • N55 (me)
2012 E70 • N63 (wife)