She informed him that the Prophet ﷺ used to pray thirteen rakahs at night, including the two rakahs of Fajr.
حدثنا قتيبة حدثنا الليث عن يزيد بن أبي حبيب عن عراك بن مالك عن عروة
أنها أخبرته أن النبي ﷺ كان يصلي بالليل ثلاث عشرة ركعة بركعتي الفجر
Muslim narrated it in the Book of Travelers' Prayer, in the chapter on the night prayer and the number of units the Prophet ﷺ prayed at night, etc., hadith no. 737, from Qutayba, through this route.