Police searched for a possible gunman in the George Washington University library late Monday night after a gunman was reported to be headed toward campus from the White House area, a GWU spokeswoman said.

The library, which was crowded with students studying for midterms, was evacuated around 11 p.m. The search concluded about half an hour later. No one was found.

An initial search of the area around the Foggy Bottom campus was touched off at about 9:30 p.m. by a report of a suspicious person possibly headed there, according to GWU spokeswoman Candace Smith. The report included a description and apparently indicated that the man was armed.

An alert was issued to the GWU community, but an initial search turned up nothing, Smith said.

However, she said later, at about 11 p.m. a student reported seeing someone changing clothes at the library. Students were ordered out, and a search began.

This story has been updated.