Help with HSRP and OSPF

This might be a really stupid question, but what OSPF routes should I be getting out of two routers connected with HSRP? Should it be an entry for each router, or just one route via the virtual IP?

Giving a more concrete example:

In this topology, are these the intended routes in ER99?

Gateway of last resort is 10.254.254.253 to network 0.0.0.0 O*E2 0.0.0.0/0 [110/1] via 10.254.254.253, 00:10:34, Ethernet1/2 [110/1] via 10.254.254.252, 00:16:15, Ethernet1/2 

Or am I doing something wrong and the correct route should be something along this:

Gateway of last resort is 10.254.254.254 to network 0.0.0.0 O*E2 0.0.0.0/0 [110/1] via 10.254.254.254, 00:10:34, Ethernet1/2