I have a VPN-only setup with ASA5520s running Active/Standby failover. On the inside interface I have an OSPF setup with the ASA (both area 0). The ASA learns routes from the router. However, the router doesn't learn any routes from the ASA for RA clients. I've configured a pool of IPs which appear in the ASA routing table to come from the external interface and are /32s but those routes don't seem to propagate via OSPF to the inside router. I did try to redistribute the static into ospf on the ASA but to no avail.
Is there anything special I need to do to get these routes to propagate via OSPF?