redistribution into eigrp from ospf

Hi, I've got the following issue....

routing table

10.0.0.0/8 is variably subnetted, 5 subnets, 2 masks C 10.5.0.4/30 is directly connected, Serial0 O 10.5.3.0/24 [110/161] via 10.5.0.6, 00:05:55, Serial0 C 10.5.2.0/24 is directly connected, Loopback0 D 10.5.1.0/24 [90/2297856] via 10.5.0.1, 02:15:07, Serial1 C 10.5.0.0/30 is directly connected, Serial1

now, I'm trying to redistribute that 10.5.3.0 route into EIGRP on this router. Here's the config

router eigrp 1 redistribute ospf 1 network 10.0.0.0 no auto-summary ! router ospf 1 log-adjacency-changes network 10.5.0.4 0.0.0.3 area 0

so, this doesn't seem to advertise the ospf route out into the eigrp domain. where've i gone wrong? Help please!

ah, i see what my problem was, i hadn't defined a default-metric.