The Book of Miscellany
كتاب المقدمات
(15) Chapter: Righteous Conduct on a Regular Basis
(15) - باب المحافظة على الأعمال
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].

وعن عائشة رضي الله عنها قالت‏:‏ كان رسول الله صلى الله عليه وسلم إذا فاتته الصلاة من الليل من وجع أو غيره، صلى من النهار ثنتي عشرة ركعة‏"‏ ‏(‏‏(‏رواه مسلم‏)‏‏)‏‏.‏
Reference : Riyad as-Salihin 155
In-book reference : Introduction, Hadith 155