שולחן ערוך

סעיף ט :
תשעה באב שחל להיות בשבת ונדחה ליום ראשון, בעל ברית מתפלל מנחה בעוד היום גדול, ורוחץ, ואינו משלים תעניתו, לפי שיום טוב שלו הוא.