"Ben's sister took him to a/the library to borrow a book" – article choice with public institutions

Which article should be used in this sentence?

Ben's sister took him to a/the library to borrow a book.