Church of Saint Ildefonso

The Igreja de Santo Ildefonso is an eighteenth-century church in Porto, Portugal. The church is located near Batalha Square.