Compiled by Imam Yahya ibn Sharaf al-Nawawi
وعن عائشة رضي الله عنها قالت: كان رسول الله صلى الله عليه وسلم إذا فاتته الصلاة من الليل من وجع أو غيره، صلى من النهار ثنتي عشرة ركعة" ((رواه مسلم)).
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].