Lucky you, same thing happened to me today. I came up with 7 gallons of wort and it was boiled down to 4.5 gallons. I pitched and forgot it. I wouldn't add any water to your wort, but that is my opinion. I'm happy with 4.5 gallons of beer.
I made some mistakes too. I hope we both made epic...