Webster's Revised Unabridged Dictionary · 1913

dininghall

dininghall , noun

a large room at a college or university, used especially for dining.

Also: dining hall, dining-hall