Public Library Sequence

The movie was shot on location in three Texas towns- Bandera, Leakey and Castroville. Does anyone know which town was used for the sequence where Loretta Swit and Lara Parker go to the public library to read up on witchcraft?