Under whose supervision was the library four times growth in size ?
The Old Olean Public Library ( now known as the Old Library Restaurant ) is a historic library building located in Olean in Cattaraugus County , New York .