שולחן ערוך אורח חיים סימן קנא סעיף ג

אין ישנים בב"ה אפילו שינת עראי אבל בבית המדרש מותר: