No, they surely referred to “college campus” with their comment!
A college campus traditionally refers to the land and buildings of a college or university. This will often include libraries, lecture halls, student centers and, for residential universities, residence halls and dining halls.