I have disclosed this to my realtor. I am not sure if he has disclosed this to the buyer.
As long as you've disclosed this in writing and that disclosure was presented to and signed by the buyer you should have CYA. Although courts do strange things at times if it ever gets there.