"We saw the text early this morning, but decided to wait it out and keep studying," he said. "But staff just told us we had to leave because they brought the dogs in to search the library."