you would be wise to flush it through with new brake fluid as if it's boiled, or has been close to boiling once, it will be more likely to do it again