Riyad as-Salihin 155
'Aishah (May Allah be pleased with her) reported:
When Messenger of Allah (ﷺ) missed the optional night Salat (Tahajjud) due to pain or any other reason, he would perform twelve Rak'ah during the day time. [Muslim] .
وعن عائشة رضي الله عنها قالت‏:‏ كان رسول الله صلى الله عليه وسلم إذا فاتته الصلاة من الليل من وجع أو غيره، صلى من النهار ثنتي عشرة ركعة‏"‏ ‏(‏‏(‏رواه مسلم‏)‏‏)‏‏.‏