שולחן ערוך אורח חיים סימן רפח סעיף ד
מותר להתענות בו תענית חלום כדי שיקרע גזר דינו וצריך להתענות ביום ראשון כדי שיתכפר לו מה שביטל עונג שבת ואם תשש כחו ואינו יכול להתענות שני ימים רצופים לא יתענה ביום ראשון ויתענה אח"כ: הגה וכ"ש אם היה ביום ראשון חנוכה או פורים או יו"ט אפי' יו"ט שני של גליות שאין להתענות עד אח"כ. יש אומרים מי שישן שינת צהרים וחלם לו חלום רע יתענה מחצי היום עד חצי הלילה ואז יבדיל וביום הראשון יתענה כאלו התענה כל יום השבת (מצאתי כתוב):
